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

已完结

文献求助详情

标题	Efficient Coverage-Driven Stimulus Generation Using Simultaneous SAT Solving, with Application to SystemVerilog
网址	https://dl.acm.org/doi/10.1145/2651400
DOI	10.1145/2651400 doi
其它	ACM Transactions on Design Automation of Electronic Systems (TODAES), Vol. 20, No. 1, Article 7, 2014, pp. 7:1-7:23. Authors: An-Che Cheng, Chia-Chih (Jack) Yen, Celina G. Val, Sam Bayless, Alan J. Hu, Iris Hui-Ru Jiang, Jing-Yang Jou.
求助人	111 在 2026-10-28 23:33:18 发布自重庆，悬赏 10 积分
下载	求助已完成，仅限求助人或该文件上传人下载。

上个求助

下个求助

提交工单

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

在科研通，轻松享有文献下载的自由

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

⚡ 2026年影响因子、分区 已更新！ (2026-6-17)

更新

📰 新增『新锐期刊分区』 (2026-3-24)

更新

💬 新增更精细的自定义提醒设置 (2026-1-4)

新增

🕒 每天60秒读懂世界·精选全球要闻 (2026-1-2)

新增

PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: zhanghao完成签到，获得积分10

6秒前; 尊敬绿草完成签到，获得积分10

9秒前; foxm完成签到，获得积分10

17秒前; 胡萝卜完成签到，获得积分10

18秒前; MchemG上传了应助文件

20秒前; 丘比特上传了应助文件

21秒前; 木易发布了新的文献求助10

25秒前; 年年有余上传了应助文件

29秒前; 文艺帅哥完成签到，获得积分10

37秒前; 木易完成签到，获得积分10

45秒前; 舒适的夜柳完成签到，获得积分10

49秒前; Ava的应助被科研通管家采纳，获得10

58秒前; Natascha的应助被科研通管家采纳，获得10

58秒前; Natascha的应助被科研通管家采纳，获得10

59秒前; Natascha的应助被科研通管家采纳，获得10

59秒前; MchemG的应助被科研通管家采纳，获得10

59秒前; null的应助被科研通管家采纳，获得10

59秒前; MchemG的应助被科研通管家采纳，获得10

59秒前; 今后上传了应助文件

1分钟前; 开心饼干完成签到，获得积分10

1分钟前; 任淮南发布了新的文献求助10

1分钟前; 外向的以莲完成签到，获得积分10

1分钟前; 大模型的应助被任淮南采纳，获得10

1分钟前; 沙莎完成签到，获得积分10

1分钟前; MchemG上传了应助文件

1分钟前; 散逸层梦游上传了应助文件

1分钟前; MchemG上传了应助文件

1分钟前; 迷路芷荷完成签到，获得积分10

1分钟前; 故意的白风完成签到，获得积分10

1分钟前; 散逸层梦游上传了应助文件

2分钟前; 迷路曼荷完成签到，获得积分10

2分钟前; 失眠的热狗完成签到，获得积分10

2分钟前; 狂野冰蓝完成签到，获得积分10

2分钟前; 散逸层梦游上传了应助文件

2分钟前; 开放亦竹完成签到，获得积分10

2分钟前; 池雨完成签到，获得积分10

2分钟前; liana完成签到，获得积分10

2分钟前; 儒雅的白曼完成签到，获得积分10

2分钟前; MchemG的应助被科研通管家采纳，获得10

2分钟前; null的应助被科研通管家采纳，获得10

3分钟前