Transistor abstraction for the functional verification of FPGAs.

Guy Dupenloup Thierry Lemeunier Roland Mayr

Published in: DAC (2006)

Keyphrases

functional verification
hardware software
high speed
hardware and software
integrated circuit
low power
embedded systems
field programmable gate array
formal verification
software engineering
low cost
hardware implementation
low latency
real time
data processing
multi core processors