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

Yosinori Watanabe, Stuart Swan

Browse the full MEMOCODE paper archive.