Title :
Hardware timing verification using KRONOS
Author :
Maler, Oded ; Yovine, Sergio
Author_Institution :
SPECTRE, Montbonnot, France
Abstract :
In this paper we describe the KRONOS system, a tool for verifying real-time properties based on the model of timed-automata. As an example, we show how KRONOS is applied to the verification of a MOS circuit under various delay assumptions
Keywords :
asynchronous circuits; KRONOS; MOS circuit verification; asynchronous circuits; delay assumptions; hardware timing verification; real-time properties; timed-automata model; Asynchronous circuits; Automata; Clocks; Delay; Hardware; Labeling; Real time systems; Signal generators; Switches; Timing;
Conference_Titel :
Computer Systems and Software Engineering, 1996., Proceedings of the Seventh Israeli Conference on
Conference_Location :
Herzliya
Print_ISBN :
0-8186-7536-5
DOI :
10.1109/ICCSSE.1996.554845
