Cited By
View all- Gandhi MMohd-Mokhtar R(2014)Reusable and design independent memory controller scoreboard using memory data hazard checks2014 IEEE Student Conference on Research and Development10.1109/SCORED.2014.7072992(1-6)Online publication date: Dec-2014
- Kühne UGroße DDrechsler RBenini LDe Micheli GAl-Hashimi BMueller W(2009)Property analysis and design understandingProceedings of the Conference on Design, Automation and Test in Europe10.5555/1874620.1874920(1246-1249)Online publication date: 20-Apr-2009
- Kuhne UGrosse DDrechsler R(2008)Property Analysis and Design Understanding in a Quality-Driven Bounded Model Checking FlowProceedings of the 2008 Ninth International Workshop on Microprocessor Test and Verification10.1109/MTV.2008.17(88-93)Online publication date: 8-Dec-2008
- Show More Cited By