Promising Directions in Hardware Design Verification (invited).

Shaz Qadeer Serdar Tasiran

Published in: ISQED (2002)

Keyphrases

hardware design
promising directions
hardware implementation
fpga hardware
model checking
field programmable gate array
signal processing
researchers and practitioners
formal methods
invited talk
software development
embedded systems
signature verification
parallel architectures