Efficient Coverage-Driven Stimulus Generation Using Simultaneous SAT Solving, with Application to SystemVerilog.
An-Che ChengChia-Chih Jack YenCelina G. ValSam BaylessAlan J. HuIris Hui-Ru JiangJing-Yang JouPublished in: ACM Trans. Design Autom. Electr. Syst. (2014)