Improvement of Assertion-Based Verification through the generation of proper test sequences | IEEE Conference Publication | IEEE Xplore