Transformation of timing diagram specifications into VHDL code
暂无分享,去创建一个
W. Grass | C.D. Kloos | C. Grobe | S. Lenk | W.-D. Tiedemann | A. Marin | T. Robles
[1] Joseph Sifakis,et al. Compiling Real-Time Specifications into Extended Automata , 1992, IEEE Trans. Software Eng..
[2] Angel Fernández,et al. A LOTOS Based Performance Evaluation Tool , 1993, Comput. Networks ISDN Syst..
[3] Kim G. Larsen,et al. Equation solving using modal transition systems , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
[4] Rajeev Alur,et al. Model-checking for real-time systems , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
[5] Rajeev Alur,et al. The Theory of Timed Automata , 1991, REX Workshop.
[6] Wolf-Dieter Tiedemann. An approach to multi-paradigm controller synthesis from timing diagram specifications , 1992, Proceedings EURO-DAC '92: European Design Automation Conference.
[7] David de Frutos-Escrig,et al. TIC: A Timed Calculus for LOTOS , 1989, Formal Techniques for (Networked and) Distributed Systems.
[8] Werner Grass,et al. Introducing structure into behavioural descriptions obtained from timing diagram specifications , 1993, Microprocess. Microprogramming.
[9] Joachim Parrow. Submodule Construction as Equation Solving CCS , 1987, FSTTCS.
[10] Stefan Lenk. Extended timing diagrams as a specification language , 1994, EURO-DAC '94.
[11] Juan Quemada,et al. State Exploration by Transformation with LOLA , 1989, Automatic Verification Methods for Finite State Systems.
[12] Thomas A. Henzinger,et al. Symbolic Model Checking for Real-Time Systems , 1994, Inf. Comput..
[13] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[14] Tommaso Bolognesi,et al. Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.
[15] Thomas J. Wilderotter,et al. A Designer's Guide to VHDL Synthesis , 1994 .
[16] Lynn Conway,et al. Introduction to VLSI systems , 1978 .
[17] Juan Quemada,et al. Introduction of Quantitative Relative Time into LOTOS , 1987, PSTV.
[18] Wolf-Dieter Tiedemann. Bus Protocol Conversion: from Timing Diagrams to State Machines , 1991, EUROCAST.
[19] Robert E. Milne,et al. The formal description technique LOTOS : By P.H.J. van Eijk, C.A. Vissers and M. Diaz, eds. North-Holland, Amsterdam, Netherlands, 1989, Price $102.50 (hardback), ISBN 0-444-87267-1. , 1990 .
[20] A. Pnueli,et al. STATEMATE: a working environment for the development of complex reactive systems , 1988, [1988] Proceedings. The Third Israel Conference on Computer Systems and Software Engineering.
[21] Daniel D. Gajski,et al. SpecCharts : A Language for System Level Synthesis , 1991 .