Previous
Next
Journal
- trace theory for automatic hierarchical verification of speed-independent circuits42
- ieee transactions on computer-aided design of integrated circuits & systems4
- proceedings of the 35th annual design automation conference3
- ieee transactions on computers2
- proceedings of the 1993 ieee/acm international conference: computer-aided design2
- proceedings of the 30th international design automation conference2
- 2006 formal methods in computer aided design1
- 2008 formal methods in computer-aided design1
- 2016 ieee international high level design validation & test workshop (hldvt)1