| Increasing the efficiency of simulation-based functional verification through unsupervised support vector analysis | 3 | 0.46 | 2010 |
| A decision procedure for bit-vector arithmetic | 55 | 4.23 | 1998 |
| Validity Checking for Combinations of Theories with Equality | 118 | 15.65 | 1996 |
| A general method for compiling event-driven simulations | 27 | 2.51 | 1995 |
