Article

Free access

Stochastic sequential machine synthesis targeting constrained sequence generation

Authors:

Diana Marculescu,

Radu Marculescu,

Massoud PedramAuthors Info & Claims

DAC '96: Proceedings of the 33rd annual Design Automation Conference

Pages 696 - 701

https://doi.org/10.1145/240518.240650

Published: 01 June 1996 Publication History

PDF eReader

References

[1]

M. Pedram, 'Power Minimization in IC Design: Principles and Applications', in ACM Transactions on Design Automation of Electronic Systems, vol.1, no.l, pp.l-54, Jan.1996

Digital Library

Google Scholar

[2]

A. Ghosh, S. Devadas, K. Keutzer, and J. White, 'Estimation of Average Switching Activity in Combinational and Sequential Circuits', in Proc. ACM/IEEE Design Automation Conference, pp. 270-275, June 1992.

Digital Library

Google Scholar

[3]

F. N. Najm, 'Transition Density, A Stochastic Measure of Activity in Digital Circuits', in Proc. ACM/IEEE Design Automation Conference, pp. 644-649, June 1991.

Digital Library

Google Scholar

[4]

C.-Y. Tsui, M. Pedram, and A. M. Despain, 'Efficient Estimation of Dynamic Power Dissipation with an Application', in Proc. IEEE/ACM Intl. Conference on Computer-Aided Design, pp. 224-228, Nov. 1993.

Digital Library

Google Scholar

[5]

B. Kapoor, 'Improving the Accuracy of Circuit Activity Measurement', in Proc. ACM/IEEE Design Automation Conference, pp. 734-739, June 1994.

Digital Library

Google Scholar

[6]

C.S.Ding, M. Pedram, 'Tagged Probabilistic Simulation Provides Accurate and Efficient Power Estimates at Gate Level', in Proc. of the Symposium on Low Power Electronics, pp.42-43, Sept. 1995.

Google Scholar

[7]

R. Marculescu, D. Marculescu, and M. Pedram, 'Efficient Power Estimation for Highly Correlated Input Streams', in Proc. ACM/IEEE Design Automation Conference, pp. 628- 634, June 1995.

Digital Library

Google Scholar

[8]

D. Marculescu, R. Marculescu, and M. Pedram, 'Vector Compaction Using Probabilistic Automata', Technical Report, Univ. of Southern California, March 1996.

Google Scholar

[9]

J. Monteiro and S. Devadas, 'Techniques for Power Estimation of Sequential Logic Circuits Under User- Specified Input Sequences and Programs', in Proc. Intl. Workshop on Low Power Design, pp. 33-38, April 1994.

Digital Library

Google Scholar

[10]

J. Von Neumann, 'Probabilistic Logics and Synthesis of reliable organisms from unreliable components', in Annals of Mathematics Studies, Vol.34, pp.43-98, Princeton Univ. Press, Princeton, New Jersey 1956.

Google Scholar

[11]

A. Davis, 'Markov Chains as Random Input Automata', in American Mathematical Monthly, Vol.68, pp. 264-267, 1961.

Crossref

Google Scholar

[12]

M. Rabin, 'Probabilistic Automata', in Information and Control, Vol.6, pp. 230-245, 1963.

Crossref

Google Scholar

[13]

M. Garey, and D. Johnson, 'Computers and Intractability', New York: Freeman, 1979

Digital Library

Google Scholar

[14]

B. Kernighan and S. Lin, 'An Efficient Heuristic Procedure for Partitioning Graphs', in Bell Systems Technical Journal, Vol.49, No.2, pp.291-307, 1970.

Crossref

Google Scholar

[15]

C. Fiduccia and R. Matheyses, 'A Linear-Time Heuristic for Improving Network Partitions', in Proc. ACM/IEEE Design Automation Conference, pp. 175-181, June 1982.

Digital Library

Google Scholar

[16]

J. Storer, 'Data Compression: Methods and Theory', Ch.1, Computer Science Press, 1988.

Digital Library

Google Scholar

Cited By

View all

Pedram M(2009)Power Simulation and Estimation in VLSI CircuitsDesign Automation, Languages, and Simulations10.1201/9780203009284.ch11(11-1-11-27)Online publication date: 6-Nov-2009
https://doi.org/10.1201/9780203009284.ch11
Marculescu RMarculescu DPedram MNajim FCong JBlaauw D(1999)Non-stationary effects in trace-driven power analysisProceedings of the 1999 international symposium on Low power electronics and design10.1145/313817.313898(133-138)Online publication date: 17-Aug-1999
https://dl.acm.org/doi/10.1145/313817.313898
Marculescu DMarculescu RPedram MDewilde PRammig FMusgrave G(1998)Trace-driven steady-state probability estimation in FSMs with application to power estimationProceedings of the conference on Design, automation and test in Europe10.5555/368058.368413(774-781)Online publication date: 23-Feb-1998
https://dl.acm.org/doi/10.5555/368058.368413
Show More Cited By

Index Terms

Stochastic sequential machine synthesis targeting constrained sequence generation
1. Hardware
  1. Electronic design automation
    1. High-level and register-transfer level synthesis

Recommendations

Stochastic sequential machine synthesis with application to constrained sequence generation

In power estimation, one is faced with two problems: (1) generating input vector sequences that satisfy a given statistical behavior (in terms of signal probabilities and correlations among bits); (2) making these sequences as short as possible so as to ...
A simple algorithm for the constrained sequence problems

In this paper we address the constrained longest common subsequence problem. Given two sequences X, Y and a constrained sequence P, a sequence Z is a constrained longest common subsequence for X and Y with respect to P if Z is the longest subsequence of ...
Column generation algorithms for constrained POMDPs

In several real-world domains it is required to plan ahead while there are finite resources available for executing the plan. The limited availability of resources imposes constraints on the plans that can be executed, which need to be taken into ...

Comments

Information & Contributors

Information

Published In

DAC '96: Proceedings of the 33rd annual Design Automation Conference

June 1996

839 pages

ISBN:0897917790

DOI:10.1145/240518

Chairmen:
Thomas P. Pennino
Bell Labs, Holmdel, NJ
,
Ellen J. Yoffa
IBM Corp., Yorktown Heights, NY

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1996

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

DAC96

Sponsor:

EDAC
SIGDA
IEEE-CAS

DAC96: The 33rd Design Automation Conference

June 3 - 7, 1996

Nevada, Las Vegas, USA

Acceptance Rates

DAC '96 Paper Acceptance Rate 142 of 377 submissions, 38%;

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
190
Total Downloads

Downloads (Last 12 months)13
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Pedram M(2009)Power Simulation and Estimation in VLSI CircuitsDesign Automation, Languages, and Simulations10.1201/9780203009284.ch11(11-1-11-27)Online publication date: 6-Nov-2009
https://doi.org/10.1201/9780203009284.ch11
Marculescu RMarculescu DPedram MNajim FCong JBlaauw D(1999)Non-stationary effects in trace-driven power analysisProceedings of the 1999 international symposium on Low power electronics and design10.1145/313817.313898(133-138)Online publication date: 17-Aug-1999
https://dl.acm.org/doi/10.1145/313817.313898
Marculescu DMarculescu RPedram MDewilde PRammig FMusgrave G(1998)Trace-driven steady-state probability estimation in FSMs with application to power estimationProceedings of the conference on Design, automation and test in Europe10.5555/368058.368413(774-781)Online publication date: 23-Feb-1998
https://dl.acm.org/doi/10.5555/368058.368413
Pinar ALiu CYasuura H(1998)Power invariant vector sequence compactionProceedings of the 1998 IEEE/ACM international conference on Computer-aided design10.1145/288548.289073(473-476)Online publication date: 1-Nov-1998
https://dl.acm.org/doi/10.1145/288548.289073
Macii AMacii EPoncino MScarsi RChandrakasan AKiaei S(1998)Stream synthesis for efficient power simulation based on spectral transformsProceedings of the 1998 international symposium on Low power electronics and design10.1145/280756.280764(30-35)Online publication date: 10-Aug-1998
https://dl.acm.org/doi/10.1145/280756.280764
Benini LDe Micheli GMacii EPoncino MScarsi ROtten RYasuura H(1997)Fast power estimation for deterministic input streamsProceedings of the 1997 IEEE/ACM international conference on Computer-aided design10.5555/266388.266538(494-501)Online publication date: 13-Nov-1997
https://dl.acm.org/doi/10.5555/266388.266538
Hsieh CPedram MMehta GRastgar FYoffa EDe Micheli GRabaey J(1997)Profile-driven program synthesis for evaluation of system power dissipationProceedings of the 34th annual Design Automation Conference10.1145/266021.266288(576-581)Online publication date: 13-Jun-1997
https://dl.acm.org/doi/10.1145/266021.266288
Marculescu RMarculescu DPedram MYoffa EDe Micheli GRabaey J(1997)Hierarchical sequence compaction for power estimationProceedings of the 34th annual Design Automation Conference10.1145/266021.266287(570-575)Online publication date: 13-Jun-1997
https://dl.acm.org/doi/10.1145/266021.266287
Macii EPedram MSomenzi FYoffa EDe Micheli GRabaey J(1997)High-level power modeling, estimation, and optimizationProceedings of the 34th annual Design Automation Conference10.1145/266021.266268(504-511)Online publication date: 13-Jun-1997
https://dl.acm.org/doi/10.1145/266021.266268
Marculescu DMarculescu RPedram MYoffa EDe Micheli GRabaey J(1997)Sequence compaction for probabilistic analysis of finite-state machinesProceedings of the 34th annual Design Automation Conference10.1145/266021.266027(12-15)Online publication date: 13-Jun-1997
https://dl.acm.org/doi/10.1145/266021.266027
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Stochastic sequential machine synthesis with application to constrained sequence generation

A simple algorithm for the constrained sequence problems

Column generation algorithms for constrained POMDPs

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

Stochastic sequential machine synthesis with application to constrained sequence generation

A simple algorithm for the constrained sequence problems

Column generation algorithms for constrained POMDPs

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations