Formal Verifications in Modern Chip Designs.

Published in: HLDVT (2006)

Keyphrases

high speed
low cost
nm technology
application specific integrated circuits
analog vlsi
vlsi implementation
high density
data structure
host computer
programmable logic
evolvable hardware
design space
circuit design
chip design
formal specification
formal model
neural network