Hardware/Software Co-design and Verification Methodology from System Level Based on System Dependence Graph
Hardware/Software Co-design and Verification Methodology from System Level Based on System Dependence Graph
复制标题
基于系统依赖图的系统级软硬件协同设计与验证方法
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
M.Fujita
中科院分区：
文献类型：
--
作者：
S.Sasaki;T.Nishihara;D.Ando;M.Fujita
登录
查看更多内容
面向硬件的基于 C 的规范的等效性检查方法
DOI：
--
发表时间：
2002
期刊：
Proc. International High Level Design Validation and Test Workshop 2002
影响因子：
--
作者：
H.Saito;T.Ogawa;S.Thanyapat;M.Fujita
通讯作者：
M.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
DOI：
10.1049/ip-cdt:20045057
发表时间：
2005
期刊：
--
影响因子：
--
作者：
K. Ueda;K. Sakanushi;Y. Takeuchi;M. Imai
通讯作者：
M. Imai
SystemC 设计的 LTL 公式的形式验证
DOI：
10.1109/iscas.2003.1206243
发表时间：
2003
期刊：
Proceedings of the 2003 International Symposium on Circuits and Systems, 2003. ISCAS '03.
影响因子：
--
作者：
Daniel Große;R. Drechsler
通讯作者：
R. Drechsler