Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
Publisher: MIT Press; The MIT Press
Published: 2003
Language: eng
Number of pages: 180
ISBN-13: 9780262541572
Subjects: Computer science