BIDS: A Method for Specifying and Verifying Bidirectional Hardware Devices

The Kluwer International Series in Engineering and Computer Science - VLSI Specification, Verification and Synthesis ◽

10.1007/978-1-4613-2007-4_6 ◽

1988 ◽

pp. 217-233 ◽

Cited By ~ 3

Author(s):

David R. Musser ◽

Paliath Narendran ◽

William J. Premerlani

Download Full-text