Title :
An approach to guided incremental specification
Author :
Gabler, Thomas ; März-Rössel, Sabine
Author_Institution :
Corp. Res. & Dev., Siemens AG, Munich, Germany
Abstract :
In this paper we present an 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
Keywords :
finite state machines; formal specification; logic CAD; logic design; finite automata; finite automaton; graph-based representation; guided incremental specification; Automata; Clocks; Formal verification; Hardware design languages; IEL; Machine intelligence; Protocols; Research and development;
Conference_Titel :
Design Automation Conference, 1995, with EURO-VHDL, Proceedings EURO-DAC '95., European
Conference_Location :
Brighton
Print_ISBN :
0-8186-7156-4
DOI :
10.1109/EURDAC.1995.527431
