... | @@ -14,8 +14,9 @@ |
... | @@ -14,8 +14,9 @@ |
|
Library](https://cds.cern.ch/record/1418914?ln=en), [older
|
|
Library](https://cds.cern.ch/record/1418914?ln=en), [older
|
|
edition](https://cds.cern.ch/record/362370?ln=en"))
|
|
edition](https://cds.cern.ch/record/362370?ln=en"))
|
|
- Formal Verification: An Essential Toolkit for Modern VLSI Design, Oreilly
|
|
- Formal Verification: An Essential Toolkit for Modern VLSI Design, Oreilly
|
|
https://www.oreilly.com/library/view/formal-verification/9780128008157/
|
|
- https://www.oreilly.com/library/view/formal-verification/9780128008157/
|
|
*Soon available in the CERN library (24/08/2021)*
|
|
- [e-book for CERN only](https://catalogue.library.cern/literature/40shs-pw507)
|
|
|
|
*Soon also a paper copy will be available in the CERN library (24/08/2021)*
|
|
|
|
|
|
|
|
|
|
-----
|
|
-----
|
... | | ... | |