System specification with the SpecCharts language

Narayan, Sanjiv; Vahid, Frank; Gajski, Daniel D.

doi:10.1109/54.173326

Cited by 27 publications

(8 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Such a communication model forms the base for languages as SDL [17,19], VHDL [18], or SpecCharts [15]. While this model serves as a good implementation model, due to its closeness to architecture, we argue, that it is not a good choice for a functional system model.…”

Section: Related Workmentioning

confidence: 97%

Formal system design based on the synchrony hypothesis, functional models, and skeletons

Sander

Jantsch

1999

Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013)

View full text Add to dashboard Cite

show abstract

Section: Related Workmentioning

confidence: 97%

Formal system design based on the synchrony hypothesis, functional models, and skeletons

Sander

Jantsch

1999

Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013)

View full text Add to dashboard Cite

show abstract

“…Homogeneous models are based on a single formalism or language such as VHDL [8,10], C [12], C++ [20], SpecChart [23], Java [14,24,27], SDL [7,26], etc. These languages are rich and can typically be used far beyond their original scope, in particular when they are extended with special features, e.g.…”

Section: Introductionmentioning

confidence: 99%

Composite signal flow

Jantsch

Bjuréus²

2000

Proceedings of the Conference on Design, Automation and Test in Europe

View full text Add to dashboard Cite

The composite signal flow model of computation targets systems with significant control and data processing parts. It builds on the data flow and synchronous data flow models and extends them to include three signal types: nonperiodic signals, sampled signals, and vectorized sampled signals. Vectorized sampled signals are used to represent vectors and computations on vectors. Several conversion processes are introduced to facilitate synchronization and communication with these signals. We discuss the severe implications, that these processes have on the causal behaviour of the system. We illustrate the model and its usefulness with three applications. A co-modelling and co-simulation environment combining Matlab and SDL; a high level timing analysis as a consequence of the operations on vectors; conditions for a parallel, distributed simulation.

show abstract

“…However, they are based on a single specification paradigm often combined with a single associated specification language [2,3,6,7,9]. The specification paradigm reflects the target application domain which usually is control-oriented.…”

Section: Discussionmentioning

confidence: 99%

CoWare-a design environment for heterogeneous hardware/software systems

Rompaey¹,

Verkest²,

Bolsens³

et al.

Proceedings EURO-DAC '96. European Design Automation Conference With EURO-VHDL '96 and Exhibition

View full text Add to dashboard Cite

In this paper the design problems encountered when designing heterogeneous systems are studied and solutions to these problems are proposed. It will be shown why a single heterogeneous specification method ranging from concept to architecture is required and why it should cover issues as modularity, design for reuse, reuse of designs and reuse of design environments. A heterogeneous system design environment based on co-specification, co-simulation and cosynthesis is proposed and its application is illustrated by means of a spread spectrum based pager system.

show abstract

System specification with the SpecCharts language

Abstract: Sysiem Specification wi t h he nm=t"Lsynthe sis involves tasks such as scheduling and allocation of functional units to convert a behavioral design 6 0740-747519211 200-0006$03 00 0 1992 IEEE IEEE DESIGN & TEST OF COMPUTERS

Cited by 27 publications

References 9 publications

Formal system design based on the synchrony hypothesis, functional models, and skeletons

Formal system design based on the synchrony hypothesis, functional models, and skeletons

Composite signal flow

CoWare-a design environment for heterogeneous hardware/software systems

Contact Info

Product

Resources

About