Abstract
In this paper we present a novel approach to guided incremental specification based on specifications derived from properties in terms of input and output waveforms. Since this leads to an incompletely specified finite automaton several different finite automata may reproduce the specified behaviour. This freedom is exploited to guide the designer. Intelligent questions are created from a graph—based representation of the automata.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
P. Ashar, S. Devadas, and A. R. Newton, Sequential Logic Synthesis, Kluwer Academic Publishers, 1992
G. Bochmann, Specification languages for communication protocols, In Proc. of CHDL’93, pp. 365–382, 1993
G. Boriello, A New Specification Methodology and its Application to Transducer Synthesis, University of California, Berkeley, 1988
M. Dufresne, E. Cerny, and K. Khordoc, A stimulus/response system based on hierarchical timing diagrams, Publication 770, Dept. I.R.O., Universite de Montreal, 1991
E.A. Emerson and E.M. Clarke, Using Branching Time Temporal Logic to Synthesize Synchronization Sceletons, Science of Computer Programming, vol. 2, pp. 241–266, 1982
T. Gabler, An Approach to Checking the Completeness of Stimuli, In Proc. of VHDL-Forum for CAD in Europe, Nantes, France, 1995
T. Gabler and S. März-Rössel, An Approach to Guided Incremental Specification, In Proc. of the EURO-DAC95, Brighton, U.K., 1995
R. Gould, Graph Theory, Emory University, 1988
A. Grasselli and F. Luccio, Method for Minimizing the Number of Internal States in Incompletely Specified Sequential Networks, IEEE Transactions on Electronics, pp. 350–359, 1965
E. M. Gurary, Introduction to The Theory of Computation, Computer Science Press, 1989
D. Harel, On Visual Formalisms, Communications of the ACM, vol. 31, no. 5, 1988
M. Hofmeister, Incremental and consistency preserving specification of finite automata, submitted in: International Journal of General Systems
W. M. L. Holcombe, Algebraic Automata Theory, Cambridge University Press, New York, 1982
K. Khordoc, Integrating Behavior and Timing in Executable Specifications, In Proc. of CHDL, pp. 385–402, 1993
F. Korf and R. Senior, Interface Controller Synthesis from Requirement Specifications, In Proc. of the EDAC’94, pp. 385–394, 1994
Z. Manna and P. Wolper, Synthesis of Communicating Processes from Temporal Logic Specifications, ACM Transactions on Programming Languages and Systems, vol. 6, no. 1, pp. 68–93, 1984
E.J. McCluskey, Minimum State Sequential Circuits for a Restricted Class of Incompletely Specified Flow Tables, Bell Sys. Tech. J., vol. 41, pp. 1759–1768. 1962
M. C. Pauli and S. H. Unger, Minimizing the number of states in Incompletely Specified Sequential Circuits, IEE Transactions on Electronic Computers, pp. 356–357, 1989
M. Pfender and H. Ehrig, Kategorien und Automaten (transi, title: Catogories and Automata), De Gruyter Verlag, Berlin, 1972
A. Pnueli and R. Rosner, On the Synthesis of an Asynchronous Reactive Module, 16th International Colloquium: Automata, Languages, and Programming, Lecture Notes in Computer Science, 1989
R. Schlör and W. Damm, Specification and Verification of System-Level Hardware Designs using Timing Diagrams, In Proc. of the EDAC’93, pp. 518–524, 1993
J. Ullman and J. E. Hopcraft, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley Publishing Company, 1992
F. Vahid, S. Narayan, and D. Gajski, SpecCharts: A Language for System-Level Synthesis, In Proc. of the CHDL’91, 1991
P. Wolper, Temporal logic can be more expressive, In Proc. of the 22nd Symposium on Foundations of Computer Science, 1981
H. Wong-Toi and D. Dill, Synthesizing Processes and Schedulers from Temporal Logic Specifications, Computer Aided Verification 1990, DIMACs Series in Discrete Mathematics and Theoretical Computer Science, vol. 3, pp. 177–186, 1991
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Kluwer Academic Publishers
About this chapter
Cite this chapter
Gabler, T., März-Rössel, S. (1996). A Novel Approach to Guiding Incremental Specification. In: Waxman, R., Bergé, JM., Levia, O., Rouillard, J. (eds) High-Level System Modeling. Series Presentation, vol 4. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-1309-0_4
Download citation
DOI: https://doi.org/10.1007/978-1-4613-1309-0_4
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4612-8561-8
Online ISBN: 978-1-4613-1309-0
eBook Packages: Springer Book Archive