Robust latch mapping for combinational equivalence checking.

Jerry R. Burch Vigyan Singhal

Published in: ICCAD (1998)

Keyphrases

database
low power
databases
information retrieval
high speed
robust estimation
datalog programs