Naslov
SpecCharts: A VHDL Front-End for Embedded Systems

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

Izvornik
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (0278-0070) 14 (1995), 6; 694-706

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni

Ključne riječi
hardware description languages; real-time systems

Sažetak
VHDL and other hardware description languages are commonly used as specification languages during system design. However, the underlying model of those languages does not directly support the specification of embedded systems, making the task of specifying such systems tedious and error-prone. We introduce a new conceptual model, called Program-State Machines (PSM), that caters to embedded systems. We describe SpecCharts, a VHDL extension that supports capture of the PSM model. The extensions we describe can also be applied to other languages. SpecCharts can be easily incorporated into a VHDL design environment using automatic translation to VHDL. We highlight several experiments that demonstrate the advantages of significantly reduced specification time, fewer errors, and improved specification readability.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo

POVEZANOST RADA