Non-Crossing OBDDs for Mapping to Regular Circuit Structures.

Aiqun Cao Cheng-Kok Koh

Published in: ICCD (2003)

Keyphrases

high speed
model checking
circuit design
real time
information retrieval
genetic algorithm
information systems
np hard
np complete
constraint satisfaction problems
temporal logic
ontology mapping
digital circuits
electronic circuits