Benchmark circuit complexity validation using binary decision diagram characteristics

QR Code

Benchmark circuit complexity validation using binary decision diagram characteristics

It has been shown that when Binary Decision Diagrams (BDDs) are formed from uniformly distributed random Boolean Functions (BFs), the average number of nodes in the BDDs is in a simple relation to the number of variables and terms in the BFs. In the present work, the node counts for BBDs formed from...

Full description

Bibliographic Details
Main Authors:	Mills,, Bruce, Prasad,, P. W. C, Prasad,, V. C.
Format:	Article
Published:	2006
Subjects:	QA75.5-76.95 Electronic computers. Computer science
Online Access:	http://shdl.mmu.edu.my/2140/

Similar Items

Weights Binary Decision Diagram (WBDD) and its application to Matrix Multiplication
by: Bhuvaneswari, T., et al.
Published: (2009)

Methods For Simplification And Estimation Of Digital Circuit Complexities Using Binary Decision Diagrams
by: Prasad, P.W. Chandana
Published: (2007)

A Comparative Study and Benchmarking on XML Parsers
by: Haw, Su Cheng, et al.
Published: (2007)

A simplified approach for computer-aided education of network reconfiguration in radial distribution systems
by: Prasad, K., et al.
Published: (2007)

Improved variable ordering for ROBDDs
by: Prasad, , PWC, et al.
Published: (2003)

Variable order verification use of logic representation
by: Prasad, , PWC, et al.
Published: (2003)

Particle swarm optimization and Voronoi Diagram for wireless sensor networks coverage optimization
by: Ab Aziz, Nor Azlina, et al.
Published: (2007)

Performance evaluation of fuzzy-based decision system for pool
by: Chua, S.C., et al.
Published: (2007)

A simple approach for branch current computation in load flow analysis of radial distribution systems
by: Prasad, K., et al.
Published: (2007)

A fuzzy-tuned genetic algorithm for optimal reconfigurations of radial distribution network
by: Sahoo, N. C., et al.
Published: (2007)

A fuzzy-tuned genetic algorithm for optimal reconfigurations of radial distribution network
by: Sahoo, N. C., et al.
Published: (2007)

Skin color segmentation using coarse-to-fine region on normalized RGB chromaticity diagram for face detection
by: Soetedjo, Aryuanto, et al.
Published: (2008)

A wireless sensor network coverage optimization algorithm based on particle swarm optimization and Voronoi diagram
by: Ab Aziz, Nor Azlina, et al.
Published: (2009)

Zot-Binary: A New Number System And Its Application On Number Theory Based Public-Key Cryptography
by: Jahani, Shahram
Published: (2016)

Low Power Techniques for a Mixed-Signal Circuit
by: Khalek, Faizal, et al.
Published: (2007)

Design of high-speed clock and data recovery circuits
by: Tan, Kok Siang, et al.
Published: (2007)

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

An 8-Gb/s half-rate clock and data recovery circuit
by: Khalek, Faizal, et al.
Published: (2007)

CCS592 – Advanced Algorithms and Complexity June 2018
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2018)

CCS592 – Advanced Algorithms & Complexity June 2019
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2019)

CCS592 - ADVANCED ALGORITHMS & COMPLEXITY APR-MAY 2011
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2011)

On the reduction of complexity in the architecture of fuzzy ARTMAP with dynamic decay adjustment
by: TAN, S, et al.
Published: (2006)

CDS512 – Business Intelligence & Decision Analytics June 2018
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2018)

CDS512 – Business Intelligence & Decision Analytics June 2019
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2019)

AN ENHANCED ANT COLONY OPTIMIZATION METAHEURISTIC FOR THE MINIMUM DOMINATING SET PROBLEM
by: Ho, Chin Kuan, et al.
Published: (2006)

A fully-integrated 5 Gbit/s CMOS clock and data recovery circuit
by: Tan, Kok Siang, et al.
Published: (2007)

CCS592 – Advanced Algorithms And Complexity (Algoritma Lanjutan Dan Kekompleksan)
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2021)

A decision-theoretic approach to scientific inquiry exploratory learning environment
by: Ting, Choo Yee, et al.
Published: (2006)

CMT 314 - DECISION SYSTEMS & INTELLIGENT SYSTEMS MARCH 05 - BI.
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2005)

CMT314 - DECISION SUPPORT SYSTEMS & INTELLIGENT SYSTEMS MAC 05.
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2005)

CMT314 - DECISION SUPPORT SYSTEMS AND INTELLIGENT SYSTEMS APRIL 08.
by: Stamford, Kolej Stamford
Published: (2008)

CTT533 - DECISION SUPPORT SYSTEMS & INTELLIGENT SYSTEMS APRIL 2008.
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2008)

CTT 533 - DECISION SUPPORT SYSTEMS & INTELLIGENT SYSTEMS APRIL 08.
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2008)

CMT423 – Decision Support Systems & Business Intelligence June 2018
by: PPSKOM, Pusat Pengajian Sains Komputer

CMT423 - Decision Support Systems & Business Intelligence June 2019
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2019)

CCS592 – ADVANCED ALGORITHMS AND COMPLEXITY [ALGORITMA LANJUTAN & KEKOMPLEKSAN] JUN 2016
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2016)

CCS592 – ADVANCED ALGORITHMS AND COMPLEXITY [ALGORITMA LANJUTAN & KEKOMPLEKSAN] JUN 2017
by: PPSKOM, Pusat Pengajian Sains komputer
Published: (2017)

CCS592 – ADVANCED ALGORITHMS AND COMPLEXITY [ALGORITMA LANJUTAN & KEKOMPLEKSAN] JUN. 2015
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2015)

Intelligent Pool Decision System Using Zero-Order Sugeno Fuzzy System
by: Chua, Shing Chyi, et al.
Published: (2005)

Pseudorandom maximum length signal design with bias compensation least squares estimation for system identification
by: Foo, Mathias Fui Lin, et al.
Published: (2007)