Formal Verification Tool for Variable Order Analysis Algorithm in Binary Decision Diagrams
محمد محمود احمد طاهر Mohamed Mahmoud Ahmed Taher;
Abstract
A number of problems in digital system design, combinatorial optimization, or mathematical logic can be formulated in terms of Boolean functions. A concise representation which can also provide fast manipulation is very important for Boolean functions ma
Other data
| Title | Formal Verification Tool for Variable Order Analysis Algorithm in Binary Decision Diagrams | Other Titles | التحقق الرياضى فى خوارزميات ترتيب المتغيرات المعتمدة على أشكال الإختيار الثنائى | Authors | محمد محمود احمد طاهر Mohamed Mahmoud Ahmed Taher | Keywords | Formal Verification Tool for Variable Order Analysis Algorithm in Binary Decision Diagrams | Issue Date | 2006 | Description | A number of problems in digital system design, combinatorial optimization, or mathematical logic can be formulated in terms of Boolean functions. A concise representation which can also provide fast manipulation is very important for Boolean functions ma |
Recommend this item
Similar Items from Core Recommender Database
Items in Ain Shams Scholar are protected by copyright, with all rights reserved, unless otherwise indicated.