Alta Cadence Systems
Thursday, February 6th, 1997
Hogan Room, 531 Cory Hall
Traditional design methodologies have focused on capturing, validating, and refining the behavior of digital electronic systems. By comparison, the communications between behaviors has not been as well studied. Very abstract models of computation use abstract communication methods that are difficult to refine into concrete implementations.
This talk focuses on communications and proposes a methodology that supports hierarchical refinement. To demonstrate the methodology, a new simulator was developed that exploits communication abstraction.
The presented work is a collaboration between James A. Rowson at the Alta Group of Cadence and Alberto Sangiovanni-Vincentelli at UC Berkeley.