Symbolic multi-level verification of refinement

Thumbnail
Metadata
Show full item record
Authors
Hendricx, Stefan; Claesen, Luc
Conference
Proceedings 9th Great Lakes Symposium on VLSI; 4-6 March 1999; Ypsilanti, MI, USA.
Title
Symbolic multi-level verification of refinement
Publication type
Proceedings paper
Collections