Login / Signup
Structurally Synthesized Multiple Input BDDs for Speeding Up Logic-Level Simulation of Digital Circuits.
Dmitri Mironov
Raimund Ubar
Sergei Devadze
Jaan Raik
Artur Jutman
Published in:
DSD (2010)
Keyphrases
</>
digital circuits
multiple input
decision diagrams
data flow
model based diagnosis
circuit design
multiple output
evolvable hardware
finite state machines
functional decomposition
heuristic search
knowledge base
state space
logic programming
dynamic logic