Towards AND/XOR balanced synthesis: Logic circuits rewriting with XOR

Graph-Based Algorithms for Boolean Function Manipulation

Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text

Computing, Computer Science, Algorithms +16

Combinational profiles of sequential benchmark circuits

F. Brglez, D. Bryan, Krzysztof Koźmiński · 2003 · 2.1K citations

Engineering, Computer Engineering, Computer Science +17

SIS : A System for Sequential Circuit Synthesis

Ellen Sentovich · 1992 · 1.9K citations

Engineering, Computer Engineering, Computer Science +17

Binary Decision Diagrams

Akers · IEEE Transactions on Computers · 1978 · 1.8K citations

Engineering, Computer Engineering, Computer Science +17

A neutral netlist of 10 combinational benchmark circuits and a target translator in FORTRAN

F. Brglez · Medical Entomology and Zoology · 1985 · 1.3K citations

Engineering, Computer Engineering, Computer Science +10