Login / Signup
ASIC/system hardware verification at Nortel: a view from the trenches.
Allan Silburt
Published in:
CHARME (1997)
Keyphrases
</>
computing power
computational power
hardware implementation
multiple views
design methodology
hardware architecture
integrated circuit
real time
input output
model checking
face verification
formal methods
single chip
hardware designs
functional verification