Department of Computer Science and Technology

Technical reports

Hardware verification of VLSI regular structures

Jeffrey Joyce

July 1987, 20 pages

DOI: 10.48456/tr-109


Many examples of hardware specification focus on hierarchical specification as a means of controlling structural complexity in design. Another method is the use of iteration. This paper, however, presents a third method, namely the mapping of irregular combinational functions to regular structures.

Regular structures often result in solutions which are economical in terms of area and design time. The automatic generation of a regular structure such as a ROM or PLA from a functional specification usually accommodates minor changes to the functional specification.

The mapping of irregular combinational functions to a regular structure separates function from circuit design. This paper shows how this separation can be exploited to derive a behavioural specification of a regular structure parameterized by the functional specification.

Full text

PDF (0.9 MB)

BibTeX record

  author =	 {Joyce, Jeffrey},
  title = 	 {{Hardware verification of VLSI regular structures}},
  year = 	 1987,
  month = 	 jul,
  url = 	 {},
  institution =  {University of Cambridge, Computer Laboratory},
  doi = 	 {10.48456/tr-109},
  number = 	 {UCAM-CL-TR-109}