Efficient Coverage-Driven Stimulus Generation Using Simultaneous SAT Solving, with Application to SystemVerilog

Open Webpage

An-Che Cheng, Chia-Chih Jack Yen, Celina G. Val, Sam Bayless, Alan J. Hu, Iris Hui-Ru Jiang, Jing-Yang Jou

Published: 2014, Last Modified: 06 Jan 2026ACM Trans. Design Autom. Electr. Syst. 2014EveryoneRevisionsBibTeXCC BY-SA 4.0