Formal verification an essential toolkit for modern VLSI design
Main Authors: | , , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Waltham, MA
Elsevier Science
2015
|
Subjects: | |
Online Access: | |
Collection: | O'Reilly - Collection details see MPG.ReNa |
Physical Description: | 1 volume illustrations |
---|---|
ISBN: | 0128007273 9780128008157 0128008156 |