Using Software Technology to Specify Abstract Interfaces in VLSI Design.
Abstract
Good techniques for VLSI design change management do not now exist. A principal reason is the absence of effective methods for the specifications of abstract interfaces for VLSI designs. This dissertation presents a new approach to such specification, an approach that extends to the VLSI domain D.L. Parnas's techniques for precise specification of abstract software design interfaces to the VLSI domain. The proposed approach provides important new features, including scalability to VLSI design levels, integration into the design life-cycle, and a uniform treatment of functional, electrical, and geometric design information. A technique is also introduced for attaching a value to the degree of specification adherence of a candidate module. To illustrate and evaluate the proposed approach, an example specification method using it is described and evaluated experimentally. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 1985
- Accession Number
- ADA158034
Entities
People
- R. R. Gross
Organizations
- Air Force Institute of Technology