Publications of the COSMOS Research Group
1991
[15]Petri Net Based Analysis of VHDL Programs (), In Actas de la Segunda Reunión sobre Paralelismo, . [bibtex]
[14]Petri Net Based Analysis of VHDL Programs (), In Proceedings of the Second European Conference on VHDL Methods (EURO-VHDL'91), . [bibtex]
1992
[13]A Formal Semantics of VHDL (), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
1993
[12] A Petri Net Approach for the Analysis of VHDL Descriptions (), Chapter in Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993, Proceedings (George J. Milne, Laurence Pierre, eds.), Springer, volume 683, . [bibtex] [url] [doi]
[11] Analysis tools applied to VHDL (), In Microprocessing and Microprogramming, volume 38, . [bibtex] [url] [doi]
[10] Toward a formal semantics of IEEE Std. VHDL 1076 (), In Proceedings of the European Design Automation Conference 1993, EURO-DAC'93 with EURO-VHDL'93, Hamburg, Germany, September 20-24, 1993, IEEE Computer Society Press, . [bibtex] [url] [doi]
[9]VHDL Through the Looking Glass (), In Proceedings of the VHDL-Forum for CAD in Europe, . [bibtex]
[8]VCPN - A description language of Coloured Petri Nets obtained from a VHDL description (, and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[7]A Review of the Report: A Formal Semantics of VHDL (), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[6]A Framework for Automated Static Analysis of VHDL (), In Procs of the First Asian Pacific Conference on Hardware Description Languages, Standards and Applications (APCHDLSA'93), . [bibtex]
1994
[5]VHDL: A Discrete Event Simulation Hardware Description Language (), In Proceedings of the 1994 International Conference on Simulation and Hardware Description Languages (SHDL'94), . [bibtex]
[4]VCPN - A description language of Coloured Petri Nets obtained from an elaborated VHDL description (, , , and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[3]Translating VHDL into Coloured Petri Nets (, , , , and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[2]Structural Analysis of Place/Transition Nets. An Example (, , , and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
1995
[1] A Colored Petri Net Model of VHDL (), In Formal Methods in System Design, volume 7, . [bibtex] [url] [doi]
Powered by bibtexbrowser