| Symbolic model checking: 1020 states and beyond JR Burch, EM Clarke, KL McMillan, DL Dill, LJ Hwang Information and computation 98 (2), 142-170, 1992 | 4207 | 1992 |
| Symbolic model checking for sequential circuit verification JR Burch, EM Clarke, DE Long, KL McMillan, DL Dill IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1994 | 802 | 1994 |
| Automatic verification of pipelined microprocessor control JR Burch, DL Dill International Conference on Computer Aided Verification, 68-80, 1994 | 739 | 1994 |
| Sequential circuit verification using symbolic model checking JR Burch, EM Clarke, KL McMillan, DL Dill 27th ACM/IEEE Design Automation Conference, 46-51, 1990 | 668 | 1990 |
| Symbolic model checking with partitioned transition relations JR Burch, EM Clarke, DE Long Carnegie-Mellon University. Department of Computer Science, 1991 | 427 | 1991 |
| Representing circuits more efficiently in symbolic model checking JR Burch, EM Clarke, DE Long Proceedings of the 28th ACM/IEEE Design Automation Conference, 403-407, 1991 | 261 | 1991 |
| Techniques for verifying superscalar microprocessors JR Burch 33rd Design Automation Conference Proceedings, 1996, 552-557, 1996 | 150 | 1996 |
| Efficient validity checking for processor verification RB Jones, DL Dill, JR Burch Proceedings of IEEE International Conference on Computer Aided Design (ICCAD …, 1995 | 131 | 1995 |
| Automatic verification of sequential control systems using temporal logic I Moon, GJ Powers, JR Burch, EM Clarke AIChE Journal 38 (1), 67-75, 1992 | 125 | 1992 |
| Tight integration of combinational verification methods JR Burch, V Singhal 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of …, 1998 | 122 | 1998 |
| Efficient Boolean function matching JR Burch, DE Long ICCAD 92, 408-411, 1992 | 93 | 1992 |
| Using BDDs to verify multipliers JR Burch Proceedings of the 28th ACM/IEEE Design Automation Conference, 408-412, 1991 | 91 | 1991 |
| Trace algebra for automatic verification of real-time concurrent systems JR Burch CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE, 1992 | 87 | 1992 |
| Safe BDD minimization using don't cares Y Hong, PA Beerel, JR Burch, KL McMillan Proceedings of the 34th annual Design Automation Conference, 208-213, 1997 | 83 | 1997 |
| Using simulation and satisfiability to compute flexibilities in Boolean networks A Mishchenko, JS Zhang, S Sinha, JR Burch, R Brayton, ... IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2006 | 62 | 2006 |
| Overcoming heterophobia: Modeling concurrency in heterogeneous systems J Burch, R Passerone, AL Sangiovanni-Vincentelli Proceedings Second International Conference on Application of Concurrency to …, 2001 | 54 | 2001 |
| Constraints specification at higher levels of abstraction F Balarin, J Burch, L Lavagno, Y Watanabe, R Passerone, ... Sixth IEEE International High-Level Design Validation and Test Workshop, 129-133, 2001 | 48 | 2001 |
| Robust latch mapping for combinational equivalence checking JR Burch, V Singhal 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of …, 1998 | 47 | 1998 |
| Mechanically checking a lemma used in an automatic verification tool PJ Windley, JR Burch International Conference on Formal Methods in Computer-Aided Design, 362-376, 1996 | 46 | 1996 |
| Automatic verification of sequential circuit designs EM Clarke, JR Burch, O Grumberg, DE Long, KL McMillan Philosophical Transactions of the Royal Society of London. Series A …, 1992 | 39 | 1992 |
