Assertion based design error diagnosis for core-based SoCs | IEEE Conference Publication | IEEE Xplore