Auxiliary State Machine Controlled Autonomous Design Verification Framework | IEEE Conference Publication | IEEE Xplore