Research and Application of Multiple Coverage-oriented Combined with Assertions FPGA Verification Method
YANG Peng-fei;FU Xiu-feng
Computer and Modernization . 2013, (5): 176 -180 .  DOI: 10.3969/j.issn.1006-2475.2013.05.042