참고문헌
- D. D Gajski, F. Vahid, S. Narayan and J Gong, Specification and Design of Embedded Systems, Prentice Hall, 1994
- Frank Vahid, Sanjiv Narayan, Daniel D. Gajski, 'SpecCharts A 'VHDL Front-End for Embedded Systems.' IEEE Transactions on computer-aided design or integrated circuits and systems. Vol. 14 No 6 June 1995 https://doi.org/10.1109/43.387730
- S Narayan, F. Vahid, D. D. Gajski, 'Modeling with SpeeCharts,' Technical Report, 1992
- W.C Baker, An Application of a Synchronous / Reactive Semantics to the VHDL Language, M S Report, Department of EECS, University of California. Berkeley, January 1993, UCB/ERL M93/10
- Wendell C. Baker, Richard Newton, 'The Maximal VHDL Subset with a Cycle-Level Abstraction,' EURO-DAC, 1996
- IEEE Standartd VHDL Language Reference Maual, IEEE. 1987, 345 East 47th., New York, NY 10017 USA. Std 1076 1987
- IEEE Standartd VHDL Language Reference Marual, IEEE. 1993, Std 1076-1993
- D Harel, 'STATECHARTS : a Visual Formalism for Complex Systems,' in Science of Computer Programming Vol 8, north Holland, 1987 https://doi.org/10.1016/0167-6423(87)90035-9
- John R. Levine, Tony Mason and Doung Brown, lex & yacc, O'REILLY, 1995
- Yanbing Li, Miriam Leeser, 'HML, a Novel Hardware Description Language and Its Translation to VHDL,' IEEE Transactions on very large scale integration(VISI) systems. Vol. 8, No. 1, February 2000 https://doi.org/10.1109/92.820756