Representations of elementary functions using edge-valued MDDs
Representations of elementary functions using edge-valued MDDs
复制标题
使用边值 MDD 表示初等函数
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
永山 忍
中科院分区：
文献类型：
--
作者：
島田健市;福士将;堀口進;渡邉 寛;菅原 雅也;福士 将;福士 将;堀口 進;Takahiro Uchiya;Takahiro Uchiya;打矢隆弘;石井貴光;打矢隆弘;打矢隆弘;吉永純也;吉永純也;打矢隆弘;Takahiro Uchiya;角田 裕;和泉勇治;角田 裕;角田 裕;和泉 勇治;Hiroshi Tsunoda;角田 裕;角田 裕;笹尾 勤;永山 忍;永山 忍
登录
查看更多内容
DOI：
10.1007/978-1-4613-1385-4_3
发表时间：
1996
期刊：
--
影响因子：
--
作者：
R. Stankovic;Tsutomu Sasao;C. Moraga
通讯作者：
C. Moraga
DOI：
10.1023/a:1008691605584
发表时间：
1997
期刊：
Formal Methods Syst. Des.
影响因子：
--
作者：
P. Tafertshofer;Massoud Pedram
通讯作者：
Massoud Pedram
K*BMDs：用于验证的新数据结构
DOI：
10.1109/edtc.1996.494118
发表时间：
1996
期刊：
Proceedings ED&TC European Design and Test Conference
影响因子：
--
作者：
R. Drechsler;B. Becker;Stefan Ruppertz
通讯作者：
Stefan Ruppertz
DOI：
--
发表时间：
2006
期刊：
Proceedings of IEEE International Symposium on Multiple-Valued Logic (CD-ROM)
影响因子：
--
作者：
T.Truon;H.Koga;K;Iida;Y.Sakai;笹尾 勤
通讯作者：
笹尾 勤
使用异构 MDD 的逻辑函数的紧凑表示
DOI：
--
发表时间：
2003
期刊：
IEICE Transactions on Fundamentals of Electronics Vol.E86-A, No.12
影响因子：
--
作者：
S.Nagayama;T.Sasao
通讯作者：
T.Sasao