Functional Verification of Large ASICs.

Adrian Evans Allan Silburt Gary Vrckovnik Thane Brown Mario Dufresne Geoffrey Hall Tung Ho Ying Liu

Published in: DAC (1998)

Keyphrases

functional verification
physical design
embedded systems
formal verification
hardware software
field programmable gate array
general purpose processors
application specific integrated circuits
information systems
general purpose
query optimization