RO EN
Design of the Sequential System Automata using Temporal Equivalence Classes
Authors: A. Ursu, G. Gruita, S. Zaporojan
– 0.21 Mb
Abstract
A design method of sequential system automata using temporal logic specifications is proposed in this paper. The method is based on well-known Z.Manna and P.Wolper temporal logic satisfiability analysis procedure [1] and is extended to include past time temporal operators. A new specification method which uses temporal equivalence classes is proposed to specify the behaviour of large digital circuits. The impact of the composition and decomposition operations of the temporal equivalence classes on the final automata has been studied. A case study is carried out which deals with the design of the synchronous bus arbiter circuit element. The SMV tool has been used to verify the temporal properties of the obtained automata. Key words: Temporal Logic, Temporal Equivalence Classes, Temporal Logic Specifications, Sequential Systems, Automata.A. Ursu,
G. Gruita, S. Zaporojan,
Information Technology Department,
Technical University of Moldova,
Stefan cel Mare 168,
2012, Chisinau, Republic of Moldova,
phone: (+373-2) 497018, 497014;
fax: (+373-2) 247114
E-mail: , ,
Personal web page:http://serv2.utm.md/~ ursu
S.Zaporojan:
Computer Science Department,
Technical University of Moldova,
Stefan cel Mare 168,
2012, Chisinau, Republic of Moldova,
phone: (+373-2) 497016;
fax: (+373-2) 247114
G. Gruita, S. Zaporojan,
Information Technology Department,
Technical University of Moldova,
Stefan cel Mare 168,
2012, Chisinau, Republic of Moldova,
phone: (+373-2) 497018, 497014;
fax: (+373-2) 247114
E-mail: , ,
Personal web page:http://serv2.utm.md/~ ursu
S.Zaporojan:
Computer Science Department,
Technical University of Moldova,
Stefan cel Mare 168,
2012, Chisinau, Republic of Moldova,
phone: (+373-2) 497016;
fax: (+373-2) 247114
Fulltext
– 0.21 Mb
Contents
- On program correctness and teaching programming
- On graphs G of diameter two with f(G)J|V(G)|+D-d+1
- On the architecture of problem-oriented simulation systems
- SimW - software for automatic creation of problem-oriented simulation systems
- Two problems concerning dynamic flows in node and arc capacitated networks
- The study of data and control flows and the user's interface organization in an applied system for chemistry and medicine
- A method of Romanian Lexicon compression
- Design of the Sequential System Automata using Temporal Equivalence Classes
- Grammar flow analysis reduction to scheduling problem
