An-Che Cheng, Chia-Chih Jack Yen, Celina G. Val, Sam Bayless, Alan J. Hu, Iris Hui-Ru Jiang, Jing-Yang Jou. Efficient Coverage-Driven Stimulus Generation Using Simultaneous SAT Solving, with Application to SystemVerilog. ACM Trans. Design Autom. Electr. Syst., 20(1):7, 2014. [doi]
@article{ChengYVBHJJ14,
title = {Efficient Coverage-Driven Stimulus Generation Using Simultaneous SAT Solving, with Application to SystemVerilog},
author = {An-Che Cheng and Chia-Chih Jack Yen and Celina G. Val and Sam Bayless and Alan J. Hu and Iris Hui-Ru Jiang and Jing-Yang Jou},
year = {2014},
doi = {10.1145/2651400},
url = {http://doi.acm.org/10.1145/2651400},
researchr = {https://researchr.org/publication/ChengYVBHJJ14},
cites = {0},
citedby = {0},
journal = {ACM Trans. Design Autom. Electr. Syst.},
volume = {20},
number = {1},
pages = {7},
}