Modeling and Verification of Circuit with Stable-Event | IEEE Conference Publication | IEEE Xplore