CAD for Gigascale SoC Design and Verification Solutions.

Shiyan Hu Zhuo Li Yangdong Deng

Published in: VLSI Design (2011)

Keyphrases

design process
computer aided
databases
formal methods
embedded systems
formal verification
computer aided design
design space
design decisions
solution quality
solution space
medical images
control system
evolutionary algorithm
user interface
expert systems
multi agent systems
search algorithm
image processing