Evaluation of Binary Decision Diagrams Complexity using Relative Arithmetic Width

Many logic synthesis methods are based on the optimization of reduced order Binary Decision Diagrams (BDDs). The complexity of a BDD greatly depends on the chosen order of variables. Most of the methods find optimal variable ordering focused primarily on some subset of BDD parameters, for example, t...

Full description

Bibliographic Details

Published in:	IEEE transactions on computer-aided design of integrated circuits and systems Vol. 42; no. 10; p. 1
Main Author:	Radmanovic, Milos
Format:	Journal Article
Language:	English
Published:	New York IEEE 01.10.2023 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:	Arithmetic binary decision diagram Boolean functions circuit synthesis Complexity Complexity theory Data structures Heuristic algorithms Logic synthesis Minimization Optimization optimization methods Parameters Shape
ISSN:	0278-0070, 1937-4151
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!