Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published 1985 | public
Book Section - Chapter

A Methodology for Hierarchical Simulation and Verification of VLSI Systems


We present a hierarchical methodology for ensuring functionally correct VLSI designs. This methodology allows (1) a design be decomposed in such a way that more efficient simulation algorithms than those appeared in most one-level simulators can be employed, (2) abstraction of parts of a design may be made to reduce the complexity of the entire design. We first give computation models of VLSI designs. From these models , we derive appropriate algorithms and compare them to illustrate the power of our methodology. Finally we present the method for ensuring correctness of design at each hierarchical level and across different levels.

Additional Information

© IFIP, 1985.

Additional details

August 19, 2023
March 5, 2024