跳到主要内容
牛津大学计算机科学系
联系我们 搜索
  1. 主页
  2. 研究
  3. 自动验证
  4. VCEGAR:Verilog计数器示例引导的抽象优化

VCEGAR:Verilog计数器示例引导的抽象优化

Himanshu Jain、Daniel Kroening、Natasha Sharygina和Edmund Clarke

书籍标题
2007年TACAS会议记录
页
583–586
出版商
施普林格
系列
计算机科学课堂讲稿
体积
4424
年份
2007

链接

另请参见

返回页首