Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

System-level synthesis: From specification to transaction level models (CROSBI ID 597914)

Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija

Gajski, Daniel D. System-level synthesis: From specification to transaction level models // Proceedings of International Conference on Communications, Circuits and Systems, 2009. ICCCAS 2009.. Milpitas (CA): Institute of Electrical and Electronics Engineers (IEEE), 2009. str. 1134-1138

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

Povezanost rada

Računarstvo