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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'An-Che Cheng' in GoogleThis author has not been identified. Look up 'Chia-Chih Jack Yen' in GoogleThis author has not been identified. Look up 'Celina G. Val' in GoogleThis author has not been identified. Look up 'Sam Bayless' in GoogleThis author has not been identified. Look up 'Alan J. Hu' in GoogleThis author has not been identified. Look up 'Iris Hui-Ru Jiang' in GoogleThis author has not been identified. Look up 'Jing-Yang Jou' in Google

runs on WebDSL