首页> 外文OA文献 >Distributed Binary Decision Diagrams for Verification of Large Circuits

【2h】

Distributed Binary Decision Diagrams for Verification of Large Circuits

机译：分布式二元决策图验证大电路

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Prakash Arunachalam; Craig Chase; Dinos Moundanos;
展开▼
作者单位

展开▼
年度 1996
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Read-once Projections and Formal Circuit Verification with Binary Decision Diagrams [J] . Beate Bollig, Ingo Wegener Electronic Colloquium on Computational Complexity . 1995,第195期

机译：带有二进制决策图的一次性投影和形式电路验证
2. Verification of arithmetic circuits using binary moment diagrams [J] . Randal E.Bryant, Yirng Chen International Journal on Software Tools for Technology Transfer . 2001,第2期

机译：使用二进制矩图验证算术电路
3. Realization of high-density III-V quantum integrated circuits by a hexagonal binary decision diagram quantum circuit approach [J] . Seiya Kasai, Miki Yumoto, Tsutomu Kuranaka, 電子情報通信学会技術研究報告. シリコン材料·デバイス. Silicon Devices and Materials . 2002,第180期

机译：通过六角二元决策图量子电路方法实现高密度III-V量子集成电路
4. Distributed binary decision diagrams for verification of large circuits [C] . Arunachlam, P., Chase, . 1996

机译：用于大型电路验证的分布式二进制决策图
5. Validated Monte Carlo based analysis on circuit netlist and zero suppressed binary decision diagrams. [D] . Alladi, Phaninder. 2010

机译：在电路网表和零抑制二进制决策图上验证了基于蒙特卡洛的分析。
6. A General Model for Binary Cell Fate Decision Gene Circuits with Degeneracy: Indeterminacy and Switch Behavior in the Absence of Cooperativity [O] . Mircea Andrecut, Julianne D. Halley, David A. Winkler, 2011

机译：具有简并性的二元细胞命运决定基因电路的通用模型：不存在合作性时的不确定性和切换行为
7. Efficient Construction of Binary Moment Diagrams for Verifying Arithmetic Circuits [O] . Kiyoharu Hamaguchi, Akihito Morita, Shuzo Yajima 2014

机译：用于验证算术电路的二元矩图的有效构造

Distributed Binary Decision Diagrams for Verification of Large Circuits

著录项

引文网络

相似文献

相关主题

期刊订阅