A Test Case Generation Method at Register Transfer Level

• 寄存器传输级测试用例生成算法