![](/img/cover-not-exists.png)
[IEEE Design, Automation & Test in Europe Conference - Nice, France (2007.04.16-2007.04.20)] 2007 Design, Automation & Test in Europe Conference & Exhibition - Incremental ABV for Functional Validation of TL-to-RTL Design Refinement
Bombieri, Nicola, Fummi, Franco, Pravadelli, GrazianoYear:
2007
Language:
english
DOI:
10.1109/date.2007.364404
File:
PDF, 243 KB
english, 2007