Efficient coverage-driven stimulus generation using simultaneous SAT solving, with application to SystemVerilog
Journal
ACM Transactions on Design Automation of Electronic Systems
Journal Volume
20
Journal Issue
1
Date Issued
2014
Author(s)
Type
journal article