Clearing the clutter: Unified modeling and verification methodology for system level hardware design.

Yosinori Watanabe Stuart Swan

Published in: MEMOCODE (2012)

Keyphrases

hardware design
hardware implementation
fpga hardware
model checking
modeling framework
hardware software
information systems
cooperative
pattern recognition
higher level
parallel algorithm
combinatorial auctions
modeling language
design methodology
modeling method