Login / Signup
Mantra: Mutation Testing of Hardware Design Code Based on Real Bugs.
Jiang Wu
Yan Lei
Zhuo Zhang
Xiankai Meng
Deheng Yang
Pan Li
Jiayu He
Xiaoguang Mao
Published in:
DAC (2023)
Keyphrases
</>
hardware design
mutation testing
source code
hardware implementation
hardware description language
static analysis
test generation
test cases
test sequences
fpga hardware
image quality
programs written
data model
query language
database applications