Cited By
View all- Pasricha SDutt N(2008)On-Chip Communication Architecture Refinement and Interface SynthesisOn-Chip Communication Architectures10.1016/B978-0-12-373892-9.00009-8(341-366)Online publication date: 2008
- Bombieri NFummi FPravadelli GLauwereins RMadsen J(2007)Incremental ABV for functional validation of TL-to-RTL design refinementProceedings of the conference on Design, automation and test in Europe10.5555/1266366.1266557(882-887)Online publication date: 16-Apr-2007
- Bombieri NFummi FPravadelli GFedeli A(2007)Hybrid, Incremental Assertion-Based Verification for TLM Design FlowsIEEE Design & Test10.1109/MDT.2007.4824:2(140-152)Online publication date: 1-Mar-2007
- Show More Cited By