NDLI: An approach for dynamic selection of synthesis transformations based on Markov Decision Processes

Content Provider	IEEE Xplore Digital Library
Author	Welp, T. Kuehlmann, A.
Copyright Year	2011
Description	Author affiliation: University of California at Berkeley, CA, USA (Welp, T.; Kuehlmann, A.)
Abstract	Modern logic synthesis systems apply a sequence of loosely-related function-preserving transformations to gradually improve the circuit with respect to certain criteria such as area, performance, power, etc. For the quality of a complete synthesis run, the application order of the transformations for the individual steps are critical as they can produce vastly different outcomes. In practice, the transformation sequences is encoded in synthesis scripts which are derived manually based on experience and intuition of the tool developer. These scripts are static in the sense that transformations are applied independently of the result of previous transformations or the current status of the design. Despite the importance of obtaining high quality scripts, there are only a few attempts to optimize them. In this paper, we present a novel method to select transformations dynamically during the synthesis run leveraging the theory of Markov Decision Processes. The decision to select a particular transformation is based on transition probabilities, the history of the applied synthesis steps, and expectations for future steps. We report experimental results obtained from an implementation of the approach using the logic synthesis system ABC.
Starting Page	1
Ending Page	4
File Size	116880
Page Count	4
File Format	PDF
ISBN	9781612842080
ISSN	15301591
e-ISBN	9783981080186
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2011-03-14
Publisher Place	France
Access Restriction	Subscribed
Rights Holder	European Design Automation Association (EDAA)
Subject Keyword	Markov processes Delay Optimization Benchmark testing History Prototypes Context
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

RIch-context Unit Selection (RUS) approach to high quality TTS

Dominance-constrained Markov decision processes

Dynamic Optimization on Multi-core Platform

An optimization algorithm of independent mean and variance parameter tying structures for HMM-based speech synthesis

On solving optimal policies for event-based dynamic programming

Dynamic Optimization Methods of Emergency Resources Deployment Based on Markov Decision Process for Wenchuan Earthquake

Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition

Dynamic multi-objective evolutionary algorithm based on decomposition for test task scheduling problem

A basic consideration of an optimizer based on piecewise rotational chaos system

An approach for dynamic selection of synthesis transformations based on Markov Decision Processes

Similar Documents

RIch-context Unit Selection (RUS) approach to high quality TTS

Dominance-constrained Markov decision processes

Dynamic Optimization on Multi-core Platform

An optimization algorithm of independent mean and variance parameter tying structures for HMM-based speech synthesis

On solving optimal policies for event-based dynamic programming

Dynamic Optimization Methods of Emergency Resources Deployment Based on Markov Decision Process for Wenchuan Earthquake

Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition

Dynamic multi-objective evolutionary algorithm based on decomposition for test task scheduling problem

A basic consideration of an optimizer based on piecewise rotational chaos system

An approach for dynamic selection of synthesis transformations based on Markov Decision Processes