未找到相关数据
Equivalence checking of combinational circuits using Boolean expression diagrams
被引：0
作者：
Department of Information Technology, Technical University of Denmark, DK-2800 Lyngby, Denmark
[1
]
机构：
来源：
IEEE Trans Comput Aided Des Integr Circuits Syst
|
/
7卷
/
903-917期
关键词：
Number:;
-;
Acronym:;
FTP;
DFF;
Sponsor: Teknologi og Produktion;
Det Frie Forskningsråd;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文