System-level synthesis: From specification to transaction level models (CROSBI ID 597914)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Gajski, Daniel D.
engleski
System-level synthesis: From specification to transaction level models
With design complexities increasing daily, the multi-core community is entertaining the idea of increasing the level of abstraction to transaction-level modeling (TLM) and design. However, the proper definition, style or semantics of TLM is not clear. Nor is it clear how to synthesize or verify TLMs. In this paper, we will introduce several TLM models and define their semantics. This formalism will allow us to define design decisions and corresponding model transformations that can be used to transform one model into another. These transformations and refinements are the enabler for automatic synthesis and verification on TLM. We will also discuss the algorithms and flow for model transformation according to the OSI network layers and show how to build tools with inputs and outputs at transaction level. We will conclude with preliminary tools and results that promise a productivity gain of several orders of magnitude.
circuit CAD; integrated circuit design; microprocessor chips; open systems; OSI network layers; automatic synthesis; circuit CAD; design complexities; model transformation; specification-transaction level models; system-level synthesis; CADCAM; Computer aided manufacturing; Electronic design automation and methodology; Embedded computing; Humans; Media Access Protocol; Network synthesis; Open systems; Productivity; Streaming media
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
1134-1138.
2009.
objavljeno
Podaci o matičnoj publikaciji
Proceedings of International Conference on Communications, Circuits and Systems, 2009. ICCCAS 2009.
Milpitas (CA): Institute of Electrical and Electronics Engineers (IEEE)
978-1-4244-4886-9
Podaci o skupu
International Conference on Communications, Circuits and Systems, 2009. ICCCAS 2009.
predavanje
23.07.2009-25.07.2009
Milpitas (CA), Sjedinjene Američke Države