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.
Citation:
Kanna Shimizu, David L. Dill, "Using Formal Specifications for Functional Validation of Hardware Designs," IEEE Design and 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. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||