Assertion and Coverage Driven Test Generation Tool for RTL Designs | IEEE Conference Publication | IEEE Xplore