Contents

From Algebraic Specifications to Correct VLSI Systems

Update item information
Publication Type technical report
School or College College of Engineering
Department Computing, School of
Creator Gopalakrishnan, Ganesh C.
Title From Algebraic Specifications to Correct VLSI Systems
Date 1986-12
Description This dissertation presents a hardware design methodology in which hardware systems can be modeled as abstract data types and semi-automatically synthesized into VLSI circuits. The behavior of a module is specified at both the abstract and the realization levels, in a purely functional language, "Structure and Behavior Language" (SBL). In a top-down design refinement phase, SBL specifications are manually refined by writing realization specifications that are equivalent to existing abstract specifications. The refinement process is manually directed in such a way that the leaf modules are eventually available in a module library. In a bottom-up circuit synthesis phase, controller modules are automatically synthesized from SBL specifications, and are incorporated along with previously built data-path modules. Routing is performed using module interconnections that are also automatically inferred from SBL specifications. Formal verification and simulation are supported. Test-case selection for simulation can be guided by the equational invariants obtainable from algebraic specifications.
Type Text
Subject VLSI circuits; computers
Language eng
Bibliographic Citation Gopalakrishnan, G. C. (1986). From algebraic specifications to correct VLSI systems.
Series University of Utah Computer Science Technical Report
Relation is Part of ARPANET
Format Medium application/pdf
Format Extent 100,286,143 bytes
File Name Gopalakrishnan-From_Algebraic.pdf
Conversion Specifications Original scanned with Kirtas 2400 and saved as 400 ppi uncompressed TIFF. PDF generated by Adobe Acrobat Pro X for CONTENTdm display
ARK ark:/87278/s6k958sd
Setname ir_computersa
Date Created 2016-05-25
Date Modified 2016-05-25
ID 98444
Reference URL https://collections.lib.utah.edu/ark:/87278/s6k958sd
Back to Search Results