2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions | IEEE Conference Publication | IEEE Xplore