论文信息 - Modelling Digital Logic in SDL

Modelling Digital Logic in SDL

The specification of digital logic in SDL (Specification and Description Language) is investigated. A specification approach is proposed for multi-level descriptions of hardware behaviour and structure. The modelling method exploits features introduced in SDL-92. The approach also deals with the specification, analysis and simulation of timing aspects at any level in the specification of digital logic.

Kenneth J. Turner | Gyula Csopaki

[1] Edwin E. Klingman. Microprocessor Systems Design , 1977 .

[2] Michael Imperato,et al. An introduction to Z , 1991 .

[3] Amardeo Sarma,et al. Introduction to SDL-92 , 1996, Comput. Networks ISDN Syst..

[4] Louis Verhaard. An Introduction to Z.105 , 1996, Comput. Networks ISDN Syst..

[5] Steve Carlson,et al. Introduction to Hdl-Based Design Using Vhdl , 1990 .

[6] Iso. Lotos,et al. A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour , 1985 .

[7] Richard O. Sinnott,et al. DILL: Specifying Digital Logic in LOTOS , 1993, FORTE.

[8] Anders Olsen,et al. Systems Engineering Using SDL-92 , 1994 .