Hardware Verification

Temporal logic can be more expressive

Pierre Wolper · 1981 · 147 citations

Humanities, Computer Science, Formal Methods +11

A Digital System Design Language (DDL)

J.R. Duley, D.L. Dietmeyer · IEEE Transactions on Computers · 1968 · 110 citations

Engineering, Digital Design, Systems Engineering +13

Translation of a DDL Digital System Specification to Boolean Equations

J.R. Duley, D.L. Dietmeyer · IEEE Transactions on Computers · 1969 · 46 citations

Engineering, Computer Engineering, Computer Science +15

Formal Design Verification of Digital Systems

A.S. Wojcik · Design Automation Conference · 1983 · 33 citations

Computing, Computer Science, Systems Engineering +15

Formal Design Verification of Digital Systems

A.S. Wojcik · 20th Design Automation Conference Proceedings · 1983 · 22 citations

Computing, Computer Science, Systems Engineering +15