skip to main content
10.1145/1629911.1630080acmconferencesArticle/Chapter ViewAbstractPublication PagesdacConference Proceedingsconference-collections
research-article

MAGENTA: transaction-based statistical micro-architectural root-cause analysis

Published: 26 July 2009 Publication History

Abstract

Adopting an ESL based design and validation methodology, we introduce a top-down approach for efficient debugging of microarchitectural specification and RTL implementation. Our solution is based on the formalism introduced by statistical transactional analysis that we call MAGENTA -- <u>M</u>odeling <u>AGENT</u> for <u>T</u>ransactional <u>A</u>nalysis. To the best of our knowledge, MAGENTA based root-cause analysis pioneers in the efficient characterization of the micro-architectural design misbehavior via abstraction of validation output by transactions and micro-architectural events.

References

[1]
B. Black and J. Donovan, SystemC: From the Ground up, Kluwer-Academic Publishers.
[2]
G. Frank, Transaction-Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems, Kluwer-Academic Publishers.
[3]
A. Kasuya and T. Tesfaye, "Verification Methodologies in a TLM-to_RTL Design Flow", Proc. of Design Automation Conference, June 2007, pp. 199--204.
[4]
S. P. Meyn and R. L. Tweedie, Markov Chains and Stochastic Stability, Cambridge University Press, 2008
[5]
Weisstein, Eric W., "Adjacency Matrix." From MathWorld---A Wolfram Resource. http://mathworld.wolfram.com/AdjacencyMatrix.html
[6]
Grotker, Liao, Martin, Swan, System Design with System C, Kluwer Academics Publishers, 2002 775--778.
[7]
J. G. Carbonell, (Ed.). "Machine Learning: Paradigms and Methods", MIT Press., 1990.
[8]
J. Carmona, J. Cortadella and M. Kishinevsky, "A region-based algorithm for discovering Petri nets from event logs", Business Process Management, Kluwer Academic Publishers, 2008
[9]
J. Carmona, J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, A. Yakovlev, "A symbolic algorithm for the synthesis of bounded Petri nets", in Proceedings of the 29th international conference on Applications and Theory of Petri Nets, 2008
[10]
Hangal, N. Chandra, S. Narayan, S. Chakravorty, "IODINE: a tool to automatically infer dynamic invariants for hardware designs". Proc. of Design Automation Conference, 2005, pp.
[11]
P. Babighian, G. Kamhi, M. Y. Vardi "PowerQuest: Trace driven data mining for power optimization". Proc. of DATE, 2007.

Cited By

View all
  • (2020)Towards Artificial Intelligence: Concepts, Applications, and InnovationsEnabling AI Applications in Data Science10.1007/978-3-030-52067-0_6(103-146)Online publication date: 24-Sep-2020
  • (2011)Transaction level statistical analysis for efficient micro-architectural power and performance studiesProceedings of the 48th Design Automation Conference10.1145/2024724.2024809(351-356)Online publication date: 5-Jun-2011

Index Terms

  1. MAGENTA: transaction-based statistical micro-architectural root-cause analysis

        Recommendations

        Comments

        Information & Contributors

        Information

        Published In

        cover image ACM Conferences
        DAC '09: Proceedings of the 46th Annual Design Automation Conference
        July 2009
        994 pages
        ISBN:9781605584973
        DOI:10.1145/1629911
        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]

        Sponsors

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        Published: 26 July 2009

        Permissions

        Request permissions for this article.

        Check for updates

        Qualifiers

        • Research-article

        Conference

        DAC '09
        Sponsor:
        DAC '09: The 46th Annual Design Automation Conference 2009
        July 26 - 31, 2009
        California, San Francisco

        Acceptance Rates

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

        Upcoming Conference

        DAC '25
        62nd ACM/IEEE Design Automation Conference
        June 22 - 26, 2025
        San Francisco , CA , USA

        Contributors

        Other Metrics

        Bibliometrics & Citations

        Bibliometrics

        Article Metrics

        • Downloads (Last 12 months)2
        • Downloads (Last 6 weeks)0
        Reflects downloads up to 16 Feb 2025

        Other Metrics

        Citations

        Cited By

        View all
        • (2020)Towards Artificial Intelligence: Concepts, Applications, and InnovationsEnabling AI Applications in Data Science10.1007/978-3-030-52067-0_6(103-146)Online publication date: 24-Sep-2020
        • (2011)Transaction level statistical analysis for efficient micro-architectural power and performance studiesProceedings of the 48th Design Automation Conference10.1145/2024724.2024809(351-356)Online publication date: 5-Jun-2011

        View Options

        Login options

        View options

        PDF

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader

        Figures

        Tables

        Media

        Share

        Share

        Share this Publication link

        Share on social media