A design tool for the multilevel description and simulation of systems of interconnected modules

Authors:
M. Moalla;G. Saucier;J. Sifakis;M. Zachariades
Affiliations:
Ensimag - B.P. 53 - 38041 Grenoble-France;Ensimag - B.P. 53 - 38041 Grenoble-France;Ensimag - B.P. 53 - 38041 Grenoble-France;Ensimag - B.P. 53 - 38041 Grenoble-France
Venue:
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
Year:
1976

Citing 6
Cited 2

Digital systems: hardware organization and design (3rd ed.)

Digital systems: hardware organization and design (3rd ed.)
SIMULA: an ALGOL-based simulation language

Communications of the ACM
The description, simulation, and automatic implementation of digital computer processors

The description, simulation, and automatic implementation of digital computer processors
Computer structures: Readings and examples (McGraw-Hill computer science series)

Computer structures: Readings and examples (McGraw-Hill computer science series)
A programming language

A programming language
A survey of computer hardware description languages in the U.S.A.

Computer

An adaptive and evolutive tool for describing general hierarchical models, based on frames and demons

DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Digital logic modeling system based on MODLAN

DAC '82 Proceedings of the 19th Design Automation Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

We suggest a methodology and a language to permit the study of a system's behavior (functional validation, evaluation of global performances, critical situations). Every system is regarded as an interconnection of communicating modules functioning in a synchronous or asynchronous manner. The control section and the data section of each module are described separately in terms of respectively non-procedural and procedural sub-languages.