The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - July/August (2002 vol.19)
pp: 96-106
ABSTRACT
<p>Many of today's digital circuit designs depend on the tight integration of multiple design modules. These modules, designed by different engineers, interact via an interface, such as a bus or IP core interface. The interface is of utmost importance because it is where the various designers? conceptions come together. If designers do not uniformly interpret the interface specification, modules will not meld together easily or will behave incorrectly when connected. Therefore, the interface protocols must be clearly defined so that the designers can view the expected module behavior consistently. Furthermore, the protocol must be thoroughly debugged a d solid, because so much of the module design depends on it.</p>
CITATION
Kanna Shimizu, David L. Dill, "Using Formal Specifications for Functional Validation of Hardware Designs", IEEE Design & Test of Computers, vol.19, no. 4, pp. 96-106, July/August 2002, doi:10.1109/MDT.2002.1018138
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool