Title of article
An Efficient Method for Generating Optimal OBDD of Boolean Functions
Author/Authors
Ashutosh Kumar Singh، نويسنده , , Anand Mohan، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2008
Pages
7
From page
56
To page
62
Abstract
An efficient method of finding optimal (OBDD) of an n variable Boolean function is presented that offers a simple and straightforward procedure for optimal OBDD generation along with storage economy. This is achieved by generating n! fold tables and applying node reduction rules to each fold table directly instead of generating all n! OBDDs of the function
Keywords
Fold table , binary decision diagrams , formal verification
Journal title
Computer and Information Science
Serial Year
2008
Journal title
Computer and Information Science
Record number
678270
Link To Document