Identifying Redundant Wire Replacements for Synthesis and Verification.

Katarzyna Radecka Zeljko Zilic

Published in: VLSI Design (2002)

Keyphrases

database
databases
model checking
digital libraries
face verification
formal verification
functional verification