System-level exploration with SpecSyn

We present the SpecSyn system-level design environment supp orting the sp ecify-explor e-refine (SER) designparadigm. This thr ee-step appr oach includes precise specification of system functionality, rapid explor ation of numerous system-level design options, and refinement of the specification int...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gajski, Daniel D., Vahid, Frank, Narayan, Sanjiv, Gong, Jie
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied computing > Physical sciences and engineering > Engineering Automatic control Computational modeling Computer architecture Computer science Computer systems organization > Dependable and fault-tolerant systems and networks General and reference > Cross-computing tools and techniques > Performance Hardware Hardware > Robustness Networks > Network performance evaluation Permission Processor scheduling Software standards System-level design Yarn
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	We present the SpecSyn system-level design environment supp orting the sp ecify-explor e-refine (SER) designparadigm. This thr ee-step appr oach includes precise specification of system functionality, rapid explor ation of numerous system-level design options, and refinement of the specification into one r efle cting the chosen option. A system-level design option c onsists of an allocation of system components like standard and custom processors, and a partitioning of functionality among those components. Focusing on SpecSyn 'sexploration te chniques, we emphasize its two-phase estimation appr oach and highlight experiments using SpecSyn.
ISSN:	0738-100X
DOI:	10.1145/277044.277252