Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| The Use of SI-Algebra in the Design of Sequencer Circuits | 3 | 0.43 | 1997 |
| Sequencer circuits for VLSI programming | 8 | 1.02 | 1995 |
| An Exercise in the Automatic Verification of Asynchronous Designs | 10 | 0.82 | 1994 |
| Automatic Verification of Speed-Independent Circuit Designs Using the Circal System | 2 | 0.52 | 1993 |