Cited By
View all- Cerny EDudani SHavlicek JKorchemny DCerny EDudani SHavlicek JKorchemny D(2014)Introduction to Assertion-Based Formal VerificationSVA: The Power of Assertions in SystemVerilog10.1007/978-3-319-07139-8_20(453-466)Online publication date: 8-Jul-2014
- Mitra SBanerjee ADasgupta PKumar H(2013)Counterexample Ranking Using Mined InvariantsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2013.227662732:12(1978-1991)Online publication date: 1-Dec-2013
- Mitra SBanerjee ADasgupta PRosenstiel WMacii E(2012)Formal methods for ranking counterexamples through assumption miningProceedings of the Conference on Design, Automation and Test in Europe10.5555/2492708.2492937(911-916)Online publication date: 12-Mar-2012
- Show More Cited By