![]() | ![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 1 | Praveen Tiwari, Raj S. Mitra, Manu Chopra, Alok Jain: Tutorial T4B: Formal Assertion-Based Verification in Industrial Setting. VLSI Design 2007: 7 |
Selection of 1 from 1 records - Manu Chopra has 3 coauthors
Last update 2012-02-17 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page