MAGENTA

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

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

Full text

Pdf (150 KB)

Source

Annual ACM IEEE Design Automation Conference archive
Proceedings of the 46th Annual Design Automation Conference table of contents

San Francisco, California

SESSION: The tool shows that my design is wrong, but where is the bug? table of contents

Pages 639-643

Year of Publication: 2009

ISBN:978-1-60558-497-3

Authors

Gila Kamhi	Intel Corporation, Haifa, Israel
Alexander Novakovsky	Intel Corporation, Haifa, Israel
Andreas Tiemeyer	Intel Corporation, Haifa, Israel
Adriana Wolffberg	Intel Corporation, Haifa, Israel

Sponsors

EDAC : Electronic Design Automation Consortium
SIGDA: ACM Special Interest Group on Design Automation
IEEE-CAS : Circuits & Systems

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 8, Downloads (12 Months): 8, Citation Count: 0

Additional Information:

abstract references

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1629911.1630080 What is a DOI?

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 -- Modeling AGENT for Transactional Analysis. 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

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked 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.

Adobe Acrobat

QuickTime

Windows Media Player

Real Player