A Formal Method for Rapid SoC Prototyping | IEEE Conference Publication | IEEE Xplore