Correct Hardware Design and Verification Methods

By G. Milne, L. Pierre. Lecture Notes in Computer Science, 2003

357 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Hardware and Architecture

View Paper: https://www.semanticscholar.org/paper/be23778f815d3e2d9c031d9f2e203ef82b4e90a1