Hardware Timing Verification using KRONOS
| Author(s) : | Sergio Yovine Oded Maler, |
| Publisher : | N/A |
| Publication Date : | 1996 |
| ISSN : | N/A |
| Abstract : | In this paper we describe the KRONOS system, a tool for verifying real-time properties based on the model of timedautomata. As an example, we show how KRONOS is applied to the verification of a MOS circuit under various delay assumptions. 1, |