Clearing the clutter: Unified modeling and verification methodology for system level hardware design | IEEE Conference Publication | IEEE Xplore