Tada M et al.: "Physiology and Pathophysiology of the Heart 2nd ed." Kluwer Academic Publishers Boston, 267-290 (1989)
Tada M et al.: "Physiology and Pathophysiology of the Heart 2nd ed." Kluwer Academic Publishers Boston, 267-290 (1989)
复制标题
Tada M 等人：“心脏的生理学和病理生理学第二版”。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
登录
查看更多内容
通过支持硬件图的逻辑集成设计和验证环境
DOI：
10.1109/aspdac.1995.486385
发表时间：
1995
期刊：
Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair
影响因子：
--
作者：
Kathi Fisler;Steven D. Johnson
通讯作者：
Steven D. Johnson
用于自动硬件验证的多路决策图
影响因子：
0.8
作者：
F. Corella;Zijian Zhou;Xiaoyu Song;M. Langevin;E. Cerny
通讯作者：
E. Cerny
地面时态逻辑：硬件验证逻辑
DOI：
10.1007/3-540-58179-0_59
发表时间：
1994
期刊：
--
影响因子：
--
作者：
D. Cyrluk;P. Narendran
通讯作者：
P. Narendran
使用多路决策图对 ATM 交换结构进行形式化验证
DOI：
10.1109/glsv.1996.497603
发表时间：
1996
期刊：
Proceedings of the Sixth Great Lakes Symposium on VLSI
影响因子：
--
作者：
S. Tahar;Zijian Zhou;Xiaoyu Song;E. Cerny;M. Langevin
通讯作者：
M. Langevin
使用隐式抽象状态枚举对 ATM 交换结构进行行为验证
DOI：
10.1109/iccd.1996.563526
发表时间：
1996
期刊：
Proceedings International Conference on Computer Design. VLSI in Computers and Processors
影响因子：
--
作者：
M. Langevin;S. Tahar;Zijian Zhou;Xiaoyu Song;E. Cerny
通讯作者：
E. Cerny