Cited By
View all- El-Mahi ONicolescu GPesant GBeltrame G(2012)Embedded system verification through constraint-based scheduling2012 IEEE International High Level Design Validation and Test Workshop (HLDVT)10.1109/HLDVT.2012.6418248(92-95)Online publication date: Nov-2012
- Wu YYu LLan LZhou H(2008)A Coverage-Driven Constraint Random-Based Functional Verification Method of Memory ControllerProceedings of the 2008 The 19th IEEE/IFIP International Symposium on Rapid System Prototyping10.1109/RSP.2008.12(99-104)Online publication date: 2-Jun-2008
- Copty SJaeger IKatz YVinov MLevitan S(2007)Intelligent interleaving of scenariosProceedings of the 44th annual Design Automation Conference10.1145/1278480.1278700(891-895)Online publication date: 4-Jun-2007
- Show More Cited By