Naslov
A System-Design Methodology: Executable-Specification Refinement

Autori
Gajski, D. D. ; Vahid, F. ; Narayan, S. ;

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Procedings of The European Design and Test Conference / - , 1994, 458-463

Skup
The European Design and Test Conference

Mjesto i datum
Pariz, Francuska, 1994

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
High level languages; Microprocessor chips; System design methodology

Sažetak
As methodologies and tools for chip-level design mature, design effort becomes focused on increasingly higher levels of abstraction. We present a methodology and tool for system-level specification, design and refinement that result in an executable specification for each system component. The specification for each component can then be synthesized into hardware or compiled to software. We highlight advantages of the proposed methodology compared to current practice

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo

POVEZANOST RADA