Synthesis of fully testable circuits from BDDs.

Rolf Drechsler Junhao Shi Görschwin Fey

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2004)

Keyphrases

logic synthesis
analog circuits
heuristic search
high speed
timed automata
information systems
texture synthesis
binary decision diagrams
tunnel diode
analog vlsi
digital circuits
circuit design
delay insensitive
electronic circuits
genetic algorithm
fault diagnosis
logic programs
website
computer vision