Abstract
The semantics of Verilog program are studied in a discrete-continuous hybrid time model. A hybrid interval is denoted as the description of a run of Verilog program. An extended ITL is presented to describe this kind of hybrid interval. This semantics not only considers the ultimate execution effects of all kinds ingredients of language, but also gives their temporal characteristics.
| Original language | English |
|---|---|
| Pages (from-to) | 1573-1580 |
| Number of pages | 8 |
| Journal | Ruan Jian Xue Bao/Journal of Software |
| Volume | 12 |
| Issue number | 10 |
| State | Published - Oct 2001 |
| Externally published | Yes |
Keywords
- Hybrid system
- Interleaving concurrency
- Interval temporal logic
- Scheduling of discrete event
- Verilog