Department of Computer Science and Technology

Technical reports

Formal validation of an integrated circuit design style

I.S. Dhingra

August 1987, 29 pages

DOI: 10.48456/tr-115


In dynamic circuit design many rules must be followed which govern the correctness of the design. In this paper a dynamic CMOS design style using a two phase non-overlapping clock with its intricate design rules is presented together with formal means of showing that a circuit follows these rules.

Full text

PDF (1.2 MB)

BibTeX record

  author =	 {Dhingra, I.S.},
  title = 	 {{Formal validation of an integrated circuit design style}},
  year = 	 1987,
  month = 	 aug,
  url = 	 {},
  institution =  {University of Cambridge, Computer Laboratory},
  doi = 	 {10.48456/tr-115},
  number = 	 {UCAM-CL-TR-115}