Using transformations and verification in circuit design

Retiming synchronous circuitry

Charles E. Leiserson, James B. Saxe · Algorithmica · 1991 · 999 citations

Engineering, Computer Engineering, Computer Science +16

A computational logic handbook

Mathematics and Computers in Simulation · 1989 · 582 citations

Humanities, Computer Science, Mathematics +12

Optimizing synchronous systems

Charles E. Leiserson, James B. Saxe · 1981 · 428 citations

Engineering, Computer Engineering, Computer Science +10

Microprocessor design verification

Warren A. Hunt · Journal of Automated Reasoning · 1989 · 131 citations

The notion of proof in hardware verification

Avra Cohn · Journal of Automated Reasoning · 1989 · 63 citations

Computing, Computer Engineering, Computer Science +12