Obtaining Functionally Equivalent Simulations using VHDL and a Time-Shift Transformation

@inproceedings{Vahid1991ObtainingFE,
  title={Obtaining Functionally Equivalent Simulations using VHDL and a Time-Shift Transformation},
  author={Frank Vahid and Daniel Gajski},
  booktitle={ICCAD},
  year={1991}
}
VHDL and other hardware description languages have become popular as system speci cation languages in top-down design. However, their constructs do not support the behavioral speci cation of embedded systems. We introduce a new conceptual design model, called Program-State Machines, that caters to embedded systems. We then describe the SpecCharts language, an extended version of VHDL, which supports capture of this design model. In conjunction with a translator to VHDL, SpecCharts can be easily… CONTINUE READING

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 16 references

Statecharts: A Visual Formalism for Complex Systems

Sci. Comput. Program. • 1987
View 10 Excerpts
Highly Influenced

Modeling with SpecCharts.

S. Narayan, F. Vahid, D. Gajski
UC Irvine, Dept. of ICS, • 1990
View 3 Excerpts
Highly Influenced

Kronlof, \Integration of SDL and VHDL for High-Level Digital Design,

K. O. Pulkkinen
Proceedings of the European Design Automation Conference, • 1992
View 1 Excerpt

and F

B. Lutter, W. Glunz
Rammig, \Using VHDL for Simulation of SDL Speci cations," in Proceedings of the European Design Automation Conference • 1992
View 1 Excerpt

Facilities for Controllers Modeling and Synthesis in VHDL," in VHDL Users

A. Jerraya, P. Paulin, D. Agnew
1991
View 1 Excerpt

Obtaining Functionally Equivalent Simulations Using VHDL and a Time-shift Transformation,

F. Vahid, D. Gajski
Proceedings of the International Conference on Computer-Aided Design, • 1991

SDL with Applications from Protocol Speci cations

D.H.F. Belina, A. Sarma
Prentice Hall • 1991
View 1 Excerpt

Similar Papers

Loading similar papers…