SWATI: 利用测试和归纳自动合成字长

摘要:SWATI: 使用测试和归纳自动合成字长的自动化技术

作者:Susmit Jha and Sanjit A. Seshia

论文ID:1302.1920

分类:Systems and Control

分类简称:cs.SY

提交时间:2013-02-11

PDF 下载: 英文版 中文版pdf翻译中