Cited By
View all- Piccolboni LPravadelli G(2014)Simplified stimuli generation for scenario and assertion based verification2014 15th Latin American Test Workshop - LATW10.1109/LATW.2014.6841904(1-6)Online publication date: Mar-2014
- Di Guglielmo GPravadelli GJerraya ACarloni LChang NFummi F(2012)A testbench specification language for SystemC verificationProceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis10.1145/2380445.2380499(333-342)Online publication date: 7-Oct-2012
- Oliveira MKuznik CLe HGroße DHaedicke FMueller WDrechsler REcker WEsen VJerraya ACarloni LChang NFummi F(2012)The system verification methodology for advanced TLM verificationProceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis10.1145/2380445.2380497(313-322)Online publication date: 7-Oct-2012
- Show More Cited By