Improvements to combinational equivalence checking.

Alan Mishchenko Satrajit Chatterjee Robert K. Brayton Niklas Eén

Published in: ICCAD (2006)

Keyphrases

information systems
multiscale
real time
artificial intelligence
relational databases
evolutionary algorithm
logic programs