| 摘要: |
| 在连续离散混合时间模型中考虑Verilog的语义行为,将混合模型中的一个区间作为Verilog程序一次运行过程的指称.提出了一种扩展的ITL来描述这种混合区间,从而给出Verilog的形式语义.这种语义定义不仅考虑到了各种语言成分的最终执行结果,而且能够很好地给出语言成分执行的时序特征. |
| 关键词: 混合系统 Verilog 区间时态逻辑 离散事件调度 交叠式并发语义 |
| DOI： |
| 分类号: |
| 基金项目:澳门联合国大学国际软件研究所资助项目 |
|
| Study on the Formal Semantics of Verilog |
|
LI Yong jian,SUN Yong qiang,HE Ji feng
|
| Abstract: |
| In this paper, 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. And 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 characrestics. |
| Key words: hybrid system Verilog interval temporal logic the scheduling of discrete event interleaving concurrency |
