Synchronization Verification in System-Level Design with ILP Solvers
Synchronization Verification in System-Level Design with ILP Solvers
复制标题
使用 ILP 求解器进行系统级设计的同步验证
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
M.Fujita
中科院分区：
文献类型：
--
作者：
T.Sakunkonchak;S.Komatsu;M.Fujita
标准 SpecC 语言
DOI：
10.1145/500001.500019
发表时间：
2001
期刊：
International Symposium on System Synthesis (IEEE Cat. No.01EX526)
影响因子：
--
作者：
M. Fujita;Hiroshi Nakamura
通讯作者：
Hiroshi Nakamura
使用差分决策图验证 SpecC 描述中的同步
DOI：
--
发表时间：
2002
期刊：
Proc. of Forum on specification & Design Languages (FDL'02) 2002
影响因子：
--
作者：
T.Sakunkonchak;M.Fujita
通讯作者：
M.Fujita