Design partitioning for large-scale equivalence checking and functional correction.

Grace Wu Yi-Tin Sun Jie-Hong R. Jiang

Published in: DAC (2016)

Keyphrases

case study
engineering design
real time
design methodology
conceptual framework
design principles
knowledge based systems
np complete
functional verification
computer aided
design process
building blocks
rough sets
digital libraries
learning environment
web services
metadata