An Equivalence Checking Methodology for Hardware Oriented C-based Specifications
An Equivalence Checking Methodology for Hardware Oriented C-based Specifications
复制标题
面向硬件的基于 C 的规范的等效性检查方法
DOI：
--
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
M.Fujita
中科院分区：
文献类型：
--
作者：
H.Saito;T.Ogawa;S.Thanyapat;M.Fujita
DSP软件的自动形式验证
DOI：
--
发表时间：
2000
期刊：
Proceedings - Design Automation Conference
影响因子：
--
作者：
David W. Currie;Alan J. Hu;S. Rajan
通讯作者：
S. Rajan
通过符号模拟对数字系统进行形式顺序等价检查
DOI：
10.0253/tuprints-00000113
发表时间：
2001
期刊：
--
影响因子：
--
作者：
Gerd Ritter
通讯作者：
Gerd Ritter
使用差分决策图验证 SpecC 描述中的同步
DOI：
--
发表时间：
2002
期刊：
Proc. of Forum on specification & Design Languages (FDL'02) 2002
影响因子：
--
作者：
T.Sakunkonchak;M.Fujita
通讯作者：
M.Fujita