Contextual Constraints for Design and Verification

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

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

1988 ◽

pp. 257-265 ◽

Cited By ~ 1

Author(s):

Bruce S. Davie ◽

George J. Milne

Download Full-text