Word-Level Equivalence Checking in Bit-Level Accuracy with Identical Datapath
Word-Level Equivalence Checking in Bit-Level Accuracy with Identical Datapath
复制标题
具有相同数据路径的位级精度的字级等效性检查
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
M.Fujita
中科院分区：
文献类型：
--
作者：
T.Nishihara;T.Matsumoto;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
使用无竞争硬件语义进行设计
DOI：
10.1109/date.2006.243956
发表时间：
2006
期刊：
Proceedings of the Design Automation & Test in Europe Conference
影响因子：
--
作者：
P. Schaumont;S. Shukla;I. Verbauwhede
通讯作者：
I. Verbauwhede
用于自定义流水线数据路径的周期精确编译算法
DOI：
10.1145/1084834.1084845
发表时间：
2005
期刊：
2005 Third IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS'05)
影响因子：
--
作者：
Mehrdad Reshadi;D. Gajski
通讯作者：
D. Gajski
日本医疗体系与法国比较的思考（6）
DOI：
--
发表时间：
2008
期刊：
社会保険旬報 2008年11月1日号
影响因子：
--
作者：
姫野順一;北川勝彦;高橋泰
通讯作者：
高橋泰