DocumentCode
3542838
Title
An approach to guided incremental specification
Author
Gabler, Thomas ; März-Rössel, Sabine
Author_Institution
Corp. Res. & Dev., Siemens AG, Munich, Germany
fYear
1995
fDate
18-22 Sep 1995
Firstpage
368
Lastpage
373
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 1995, with EURO-VHDL, Proceedings EURO-DAC '95., European
Conference_Location
Brighton
Print_ISBN
0-8186-7156-4
Type
conf
DOI
10.1109/EURDAC.1995.527431
Filename
527431
Link To Document