Cycle Accurate Verification of Synchronous Sequential Circuit Specified with UML 2.0 Modelling | IEEE Conference Publication | IEEE Xplore