Bound Set Selection and Circuit Re-Synthesis for Area/Delay Driven Decomposition

This paper addresses two problems related to disjoint-support decomposition of Boolean functions. First, we present a heuristic for finding a subset of variables, X, which results in the disjoint-support decomposition f(X, Y) = h(g(X), Y) with a good area/delay trade-off. Second, we present a techni...

Full description

Saved in:
Bibliographic Details
Published in:Design, Automation and Test in Europe pp. 430 - 431
Main Authors: Martinelli, Andres, Dubrova, Elena
Format: Conference Proceeding
Language:English
Published: Washington, DC, USA IEEE Computer Society 07.03.2005
IEEE
Series:ACM Conferences
Subjects:
Algorithm design and analysis
Binary decision diagrams
Boolean functions
Circuit synthesis
Computer science
Computing methodologies > Artificial intelligence > Search methodologies > Heuristic function construction
Computing methodologies > Symbolic and algebraic manipulation > Symbolic and algebraic algorithms > Algebraic algorithms
Data structures
Datavetenskap
Delay
Delay circuits
Electric network analysis
Electric variables control
Hardware > Electronic design automation > Logic synthesis > Circuit optimization
Hardware > Electronic design automation > Physical design (EDA) > Partitioning and floorplanning
Hardware > Hardware validation
Heuristic methods
Information technology
Informationsteknik
Input variables
Logic circuits
Problem solving
Set theory
TECHNOLOGY
TEKNIKVETENSKAP
ISBN:9780769522883, 0769522882
ISSN:1530-1591
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper addresses two problems related to disjoint-support decomposition of Boolean functions. First, we present a heuristic for finding a subset of variables, X, which results in the disjoint-support decomposition f(X, Y) = h(g(X), Y) with a good area/delay trade-off. Second, we present a technique for re-synthesis of the original circuit implementing f(X, Y) into a circuit implementing the decomposed representation h(g(X), Y). Preliminary experimental results indicate that the proposed approach has a significant potential.
Bibliography:SourceType-Conference Papers & Proceedings-1
ObjectType-Conference Paper-1
content type line 25
ISBN:9780769522883
0769522882
ISSN:1530-1591
DOI:10.1109/DATE.2005.83