Symbolic exploration of large circuits with enhanced forward/backward traversals.

Gianpiero Cabodi Paolo Camurati Stefano Quer

Published in: EURO-DAC (1994)

Keyphrases

forward backward
hidden markov models
multiscale
high speed
digital circuits
analog circuits
symbolic data
analog vlsi
tunnel diode
e learning
search algorithm
symbolic representation
asynchronous circuits
active exploration