| 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 |
| ID |
98444 |
| Reference URL |
https://collections.lib.utah.edu/ark:/87278/s6k958sd |
