A tool for translating VHDL to finite state machines Export

@inproceedings{citeulike:4015744, abstract = {The overall research goal in Gurkh is to build a framework for design, verification and execution of safety critical applications. The framework consists of both software tools for application verification and hardware platforms for execution and real-time monitoring. This paper discusses within the context of the Gurkh project, the development of a tool to translate safety critical VHDL code into a formal representation. Different formal techniques can then be applied on this representation in order to verify properties such as liveness and deadlock and to validate that the timing constraints of the original system hold. This paper will discuss three aspects of the tool implementation: transformation of source code into an intermediate representation, verification of real-time properties, and some tool-related implementation issues.}, author = {Nehme, C. and Lundqvist, K.}, booktitle = {Digital Avionics Systems Conference, 2003. DASC '03. The 22nd}, citeulike-article-id = {4015744}, citeulike-linkout-0 = {http://dx.doi.org/10.1109/DASC.2003.1245828}, citeulike-linkout-1 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1245828}, doi = {10.1109/DASC.2003.1245828}, journal = {Digital Avionics Systems Conference, 2003. DASC '03. The 22nd}, keywords = {electronics\_design\_automation, hdl\_tool, verification, vhdl}, pages = {3.B.6--3.1-7 vol.1}, posted-at = {2009-02-06 13:10:54}, priority = {2}, title = {A tool for translating VHDL to finite state machines}, url = {http://dx.doi.org/10.1109/DASC.2003.1245828}, volume = {1}, year = {2003} }

TY - CONF ID - citeulike:4015744 L3 - citeulike-article-id:4015744 N2 - The overall research goal in Gurkh is to build a framework for design, verification and execution of safety critical applications. The framework consists of both software tools for application verification and hardware platforms for execution and real-time monitoring. This paper discusses within the context of the Gurkh project, the development of a tool to translate safety critical VHDL code into a formal representation. Different formal techniques can then be applied on this representation in order to verify properties such as liveness and deadlock and to validate that the timing constraints of the original system hold. This paper will discuss three aspects of the tool implementation: transformation of source code into an intermediate representation, verification of real-time properties, and some tool-related implementation issues. JF - Digital Avionics Systems Conference, 2003. DASC '03. The 22nd EP - 3.1-7 vol.1 TI - A tool for translating VHDL to finite state machines VL - 1 T2 - Digital Avionics Systems Conference, 2003. DASC '03. The 22nd SP - 3.B.6 KW - electronics_design_automation KW - hdl_tool KW - verification KW - vhdl AU - Nehme, C AU - Lundqvist, K PY - 2003/// UR - http://dx.doi.org/10.1109/DASC.2003.1245828 ER -