DocumentCode :
3613390
Title :
Formal specification and preliminary design of an asynchronous traffic light controller
Author :
A. Sesic;V. Malbasa
Volume :
2
fYear :
2002
fDate :
6/24/1905 12:00:00 AM
Firstpage :
679
Abstract :
An exercise in formal specification and design of an asynchronous controller that leads to the CMOS implementation is presented. In this paper we focus on the formal specification of the controller by using communication sequential process, a tool based on Hoare´s CSP. We also present the procedure, based on Martin´s synthesis method, used to formally derive the preliminary design of the asynchronous traffic light controller. The formal specification and circuit implementation are formally verified with a verification tool package STTools, capable of model checking and simulating programs.
Keywords :
"Formal specifications","Lighting control","Road transportation","Communication system traffic control","Cogeneration","Delay","Chip scale packaging","Traffic control","Asynchronous circuits","Read only memory"
Publisher :
ieee
Conference_Titel :
Microelectronics, 2002. MIEL 2002. 23rd International Conference on
Print_ISBN :
0-7803-7235-2
Type :
conf
DOI :
10.1109/MIEL.2002.1003349
Filename :
1003349
Link To Document :
بازگشت