Synchronization Verification in System-Level Design with ILP Solver
Synchronization Verification in System-Level Design with ILP Solver
复制标题
使用 ILP 求解器进行系统级设计的同步验证
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
Masahiro Fujita
中科院分区：
文献类型：
--
作者：
Thanyapat Sakunkonchak;Satoshi Komatsu;Masahiro Fujita
登录
查看更多内容
使用 ILP 求解器进行系统级设计的同步验证
DOI：
--
发表时间：
2006
期刊：
IEICE Trans. on Fundamentals of Electronics, Communications and Computer Sciences E89-A・12
影响因子：
--
作者：
T.Sakunkonchak;S.Komatsu;M.Fujita
通讯作者：
M.Fujita
SpecC 中系统级设计的程序切片
DOI：
--
发表时间：
2004
期刊：
Proc. of the IASTED, International Conference on Advances in Computer Science and Technology
影响因子：
--
作者：
K.Tanabe;S.Sasaki;M.Fujita
通讯作者：
M.Fujita
系统设计中 SpecC 和 SystemC 语言的比较
DOI：
--
发表时间：
2003
期刊：
--
影响因子：
--
作者：
Lukai Cai;Shireesh Verma;D. Gajski
通讯作者：
D. Gajski
通过对并发行为进行排序来进行基于 C 的系统级设计中的等效性检查
DOI：
--
发表时间：
2007
期刊：
--
影响因子：
--
作者：
T. Sakunkonchak;Takeshi Matsumoto;H. Saito;S. Komatsu;M. Fujita
通讯作者：
M. Fujita