ITB Journal-May-2003 - Institute of Technology Blanchardstown

ITB Journal
[49]. L. Lavagno, M. Chiodo, P. Giusto, H. Hsieh, S.Yee, A. Jurecska, and A. Sangiovanni-Vincentelli , A
Case Study in Computer-Aided Co-Design of Embedded Controllers, In Proceedings of the
International Workshop on Hardware-Software Co-design, pp. 220-224. 1994.
[50]. Gerard Berry, The Esterel V5 Language Primer, Version 5.21 release 2.0, April 6, 1999.
[51]. D. D. Gajski, F. Vahid, S. Narayan, and J. Gong,SpecSyn: An Environment Supporting the Specify-
Explore-Refine Paradigm for Hardware/Software System Design, IEEE Transactions on VLSI
Systems 6, no 1, pp. 84-100 1998.
[52]. D.D. Gajski, F. Vahid, S. Narayan, and J. Gong, Specification and Design of Embedded Systems.
Englewood Cliffs, NJ: Prentice Hall, 1994.
[53]. S. Kirkpatrick, C. D. Gelatt, and M. P. Vecchi, Optimization by simulated annealing. Science, 1983.
[54]. D.D. Gajski et al., Specification Languages, presentation slides, September 2000.
[55]. Andreas Mitschele-Thiele, Systems Engineering with SDL, Wiley, 2001.
[56]. B. Bolognesi and E. Brinksma, Introduction to the ISO Specification Language LOTOS, Computer
Networks and ISDN Systems 14, pp. 684-707, 1987.
[57]. Stanislaw Budkowski, Estelle: ISO-Formal Description Technique, National Institute of
Telecommunications, France, 1989.
[58]. G. Berry, Hardware implementation of pure Esterel, In Proceedings of the ACM Workshop on
Formal Methods in VLSI Design, January 1991.
[59]. David Harel, Statecharts: A visual formalism for complex systems, Science of Computer
Programming, 8:231-274, 1987.
[60]. Robert Esser, An object oriented Petri net language for embedded system design, In: Proceedings
of the 8th International Workshop on Software Technology and Engineering Practice
incorporating Computer Aided Software Engineering, London, 1997.
[61]. D. Smit, VHDL & Verilog Compared & Contrasted, Proc. 33rd Design Automation Conference,
1996.
[62]. Peter J. Ashenden, Verliog and Other Standards, IEEE Design & Test of Computers, pp. 84-85,
January 2002.
[63]. Rainer Dömer, The SpecC Language, A Tutorial Presentation, Centre for Embedded Computer
Systems, University of California, Irvine. (Date not available)
[64]. Andreas Gerstlauer, The SpecC Methodology, A Tutorial Presentation, Centre for Embedded
Computer Systems, University of California, Irvine. (Date not available)
[65]. Rainer Dömer, System-Level Modeling and Design with the SpecC Language, PhD Thesis,
University of Dortmund, 2000.
[66]. C.A.R Hoare, Communicating Sequential Processes, Prentice Hall International, First Publication
1985, March 2003.
[67]. Daniel C. Hyde, Introduction to the Programming Language Occam, Department of Computer
Science, Bucknell University, Lewsiburg, Updated March 20, 1995.
[68]. P. Hilfinger, A High-Level Language and Silicon Compiler for Digital Signal Processing, In
proceedings of the Custom Integrated Circuits Conference, -NA, 1985.
[69]. Stan Y. Liao, Towards a New Standard for System-Level Design, CODES’00, 2000.
[70]. Celoxica Limited, Handel-C Reference Manual, 2001.
[71]. Cedric Alquier, Stephane Guerinneau, Lauro Rizzatti and Luc Burgun, Co-Simulation Between
SystemC and a New Generation Emulator, DesignCon 2003.
[72]. Xilinx Website, www.xilinx.com
[73]. Sanjiv Narayan, Frank Vahid, Daniel D. Gajski, System Specification with the SpecCharts
Language,Design & Test of computers, pp 6-13 (Vol. 9, No. 4), October/December 1992.
[74]. A. Birrell and B. Nelson, Implementing Remote Procedure Calls, ACM Transactions on Computer
Systems, 1984.
Issue Number 7, May 2003 Page 68