公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2014 | Efficient coverage-driven stimulus generation using simultaneous SAT solving, with application to SystemVerilog | Cheng, A.-C.; Yen, C.-C.; Val, C.G.; Bayless, S.; Hu, A.J.; Jiang, I.H.-R.; Jou, J.-Y.; HUI-RU JIANG | ACM Transactions on Design Automation of Electronic Systems |