Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| A rule-based logic circuit synthesis system for CMOS gate arrays | 2 | 0.72 | 1986 |
| An interactive logic synthesis system based upon AI techniques | 4 | 0.94 | 1982 |
| A verification technique for hardware designs | 6 | 7.95 | 1982 |
| A CAD system for logic design based on frames and demons | 7 | 2.42 | 1981 |
| Design and verification of large-scale computers by using DDL | 14 | 12.78 | 1979 |