Sign in
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