This Article 
 Bibliographic References 
 Add to: 
Using Formal Specifications for Functional Validation of Hardware Designs
July/August 2002 (vol. 19 no. 4)
pp. 96-106

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.

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-Aug. 2002, doi:10.1109/MDT.2002.1018138
Usage of this product signifies your acceptance of the Terms of Use.