SEAS: a system for early analysis of SoCs | IEEE Conference Publication | IEEE Xplore