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.
- B. Black and J. Donovan, SystemC: From the Ground up, Kluwer-Academic Publishers. Google ScholarDigital Library
- G. Frank, Transaction-Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems, Kluwer-Academic Publishers.Google Scholar
- A. Kasuya and T. Tesfaye, "Verification Methodologies in a TLM-to_RTL Design Flow", Proc. of Design Automation Conference, June 2007, pp. 199--204. Google ScholarDigital Library
- S. P. Meyn and R. L. Tweedie, Markov Chains and Stochastic Stability, Cambridge University Press, 2008 Google ScholarDigital Library
- Weisstein, Eric W., "Adjacency Matrix." From MathWorld---A Wolfram Resource. http://mathworld.wolfram.com/AdjacencyMatrix.htmlGoogle Scholar
- Grotker, Liao, Martin, Swan, System Design with System C, Kluwer Academics Publishers, 2002 775--778. Google ScholarDigital Library
- J. G. Carbonell, (Ed.). "Machine Learning: Paradigms and Methods", MIT Press., 1990. Google ScholarDigital Library
- 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 Google ScholarDigital Library
- 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 Google ScholarDigital Library
- 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. Google ScholarDigital Library
- P. Babighian, G. Kamhi, M. Y. Vardi "PowerQuest: Trace driven data mining for power optimization". Proc. of DATE, 2007. Google ScholarDigital Library
Index Terms
- MAGENTA: transaction-based statistical micro-architectural root-cause analysis
Recommendations
Estimating the amount of cyan, magenta, yellow, and black inks in arbitrary colour pictures
This paper is concerned with the offset lithographic colour printing. To obtain high quality colour prints, given proportions of cyan (C), magenta (M), yellow (Y), and black (K) inks (four primary inks used in the printing process) should be accurately ...
An evaluation of speculative instruction execution on simultaneous multithreaded processors
Modern superscalar processors rely heavily on speculative execution for performance. For example, our measurements show that on a 6-issue superscalar, 93% of committed instructions for SPECINT95 are speculative. Without speculation, processor resources ...
Magenta Green Screen: Spectrally Multiplexed Alpha Matting with Deep Colorization
DigiPro '23: Proceedings of the Digital Production SymposiumWe introduce Magenta Green Screen, a novel machine learning–enabled matting technique for recording the color image of a foreground actor and a simultaneous high-quality alpha channel without requiring a special camera or manual keying techniques. We ...
Comments