A hierarchical block-based modeling methodology for SoC in GENESYS | IEEE Conference Publication | IEEE Xplore