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ženo v:

Podrobná bibliografie
Vydáno v:	DAC 98: DAC: 35th Annual ACM/IEEE Design Automation Conference s. 445 - 450
Hlavní autoři:	Ravi, Kavita, McMillan, Kenneth L., Shiple, Thomas R., Somenzi, Fabio
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 01.01.1998 IEEE
Edice:	ACM Conferences
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!