An Efficient Method for Generating Optimal OBDD of Boolean Functions

QR Code

An Efficient Method for Generating Optimal OBDD of Boolean Functions

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 d...

Full description

Bibliographic Details
Main Authors:	Singh, Ashutosh, Mohan, Anand
Format:	Journal Article
Published:	Canadian Center of Science and Education 2008
Subjects:	Binary Decision Diagrams Formal Verification Fold Table
Online Access:	http://hdl.handle.net/20.500.11937/47374

Similar Items

Computation of Probability Coefficients using Binary Decision Diagram and their Application in Test Vector Generation
by: Singh, Ashutosh Kumar, et al.
Published: (2009)

On augmented OBDD and performability for sensor networks
by: Herrmann, Johannes, et al.
Published: (2010)

Comparing Simulations and Graphical Representations of Complexities of Benchmark and Large-Variable Circuits
by: Prasad, P., et al.
Published: (2010)

An efficient algorithm for exact computation of system and survival signatures using binary decision diagrams
by: Reed, Sean
Published: (2017)

Using reliability analysis to support decision making in phased mission systems
by: Zhang, Yang, et al.
Published: (2017)

Efficiency three ways: tested, verified, and formalised
by: Handley, Martin AT
Published: (2020)

Development of BDD models for decision support in phased mission systems
by: Zhang, Yang
Published: (2016)

Improving reliability calculation with augmented binary decision diagrams
by: Herrmann, Johannes u
Published: (2010)

A memory efficient algorithm for network reliability
by: Herrmann, Johannes, et al.
Published: (2009)

Prime implicants for modularised non-coherent fault trees using binary decision diagrams
by: Remenyte-Prescott, Rasa, et al.
Published: (2007)

Automated model-based test case generation using UML activity diagram
by: Monim, Md Abdul
Published: (2018)

Effects of water table fluctuation on carbon dioxide and methane emission from a tropical peat soil cultivated with pineapple (Ananas comosus L. Meer.)
by: Luta, Wendy
Published: (2016)

Finite element implementation of Koiter's initial post-buckling analysis
by: Yan, Jiayi
Published: (2019)

Lightweight verification and fine-grained access control in named data networking based on schnorr signature and hash functions
by: Wu, Shanglun, et al.
Published: (2021)

Enhanced Verification-Based Decoding for Packet-Based LDPC Codes
by: Zhu, B., et al.
Published: (2008)

Efficient minimisation of Boolean functions
by: V. C., Prasad
Published: (2008)

Fully coupled elasto-plastic computational framework for fluid pressurised crack evolution in porous media
by: Hardcastle, Alex
Published: (2021)

Gluing Performance of Mixed Hardwood Tabletop
by: Sutopo, Sry
Published: (1991)

A New Scheme For Reduction Of Peak-To-A Verage Power Ratio In Orthogonal Frequency Division Multiplexing
by: Melad, Ahmed Mustafa H
Published: (2003)

Effects Of Water Table Management Practices On The Transport Of Nitrates In Sandy Underground Environment
by: Almdny, Abdul Hakim Masaud Mussa
Published: (2003)

Perbandingan Parameter Prestasi Antara Pemain Ping Pong Lelaki dengan Wanita Pasukan Negara dan Pasukan Remaja Negara
by: Lee, Ai Choo
Published: (1999)

Compact fusion
by: Hope, Catherine, et al.
Published: (2006)

Examining quality, perceived value and satisfaction of Penang delicacies in predicting tourists’ revisit intention / Atikahambar Yusni
by: Yusni, Atikahambar
Published: (2012)

Hardware-based text-to-braille translator
by: Zhang, Xuan, et al.
Published: (2006)

Building the capacity of learning professionals through an infusion of formal and informal learning
by: Bolt, Susan
Published: (2008)

Basic operational generalizations, managerial requirements and issues in the use of non-formal education
by: M. Yassin, Sulaiman
Published: (1982)

Evolution of the Boolean function manipulation
by: Sim, Poh Ching, et al.
Published: (2002)

Two families of chromatically unique graphs.
by: Yee, Hock Peng
Published: (1992)

Phase Diagram, and Structural and Electrical Properties of Pyrochlores in Bi2o3-Zno-Nb2o5 Ternary System
by: Tan, Kar Ban
Published: (2007)

The Nature of the Bright ULX X-2 in NGC 3921: A Chandra Position and HST Candidate Counterpart
by: Jonker, P., et al.
Published: (2012)

Determinants of lending behaviour in Malaysia / Nur Atikah Mohd Lani
by: Mohd Lani, Nur Atikah
Published: (2017)

Hybrid Metaheuristic Algorithm and Metaheuristic Performance Measurement for Solving University Course Timetabling Problem
by: Md Sultan, Abu Bakar
Published: (2007)

Haar spectrum of Bent Boolean functions
by: Siddiqi, Mohammad Umar, et al.
Published: (2016)

Haar transformation of linear boolean function
by: Mohamed Rafiq, Hashum, et al.
Published: (2009)

Generation and statistical analysis of chaos-based pseudorandom sequences
by: Hina, Aliyu Danladi
Published: (2019)

Experiences of family carers of people with cancer receiving home-based end-of-life care services
by: Sharaf, Ahmed Khamis
Published: (2023)

Automatic Generation of Station Catchment Areas: A comparison of Euclidean distance transform algorithm and location-allocation methods
by: Lin, Ting, et al.
Published: (2014)

Fano 3-folds in P2xP2 format, Tom and Jerry
by: Brown, Gavin, et al.
Published: (2018)

Obesity screening for young Japanese males and females using skin fold measurements: the classification revisited
by: Kagawa, M., et al.
Published: (2010)

Delamination-induced late-tectonic deformation and high-grade metamorphism of the Proterozoic Nampula Complex, northern Mozambique
by: Ueda, K., et al.
Published: (2012)

Cannot write session to /tmp/vufind_sessions/sess_gl2olpq6nocn1ukducan3sc51u