Formal verification : an essential toolkit for modern VLSI design
Publisher: Elsevier/MK; Morgan Kaufmann
Published: 2015
Number of pages: 408
ISBN-13: 9780128007273