Approximation and decomposition of binary decision diagrams

Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and model checking algorithms have emphasized the need for efficient algorithms for the approximation and decomposition of BDDs....

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	DAC 98: DAC: 35th Annual ACM/IEEE Design Automation Conference s. 445 - 450
Hlavní autori:	Ravi, Kavita, McMillan, Kenneth L., Shiple, Thomas R., Somenzi, Fabio
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	New York, NY, USA ACM 01.01.1998 IEEE
Edícia:	ACM Conferences
Predmet:	Algorithm design and analysis Applied computing > Physical sciences and engineering > Engineering Approximation algorithms Binary decision diagrams Boolean functions Computer systems organization > Dependable and fault-tolerant systems and networks Contracts Data structures General and reference > Cross-computing tools and techniques > Performance Hardware > Integrated circuits Hardware > Robustness Mathematics of computing > Discrete mathematics Mathematics of computing > Mathematical analysis > Functional analysis > Approximation Mathematics of computing > Mathematical software Networks > Network performance evaluation Partitioning algorithms Performance analysis Permission Reachability analysis Theory of computation > Design and analysis of algorithms > Approximation algorithms analysis digital radio ISM frequency band spread spectrum communication transceiver RF CMOS
ISBN:	0897919645, 9780897919647
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!