Formal verification : an essential toolkit for modern VLSI design
- Author
- Kumar, M. V. Achutha KiranSchubert, TomSeligman, Erik
- Publisher
- Elsevier Science, Morgan Kaufmann
- Language
- English
- Edition
- 1
- Year
- 2015
- Page
- 372
- ISBN
- 0128007273,978-0-12-800727-3,9780128008157,0128008156
- File Type
- pdf
- File Size
- 11.0 MiB
How to Download?!!!
Just click on START button on Telegram Bot