全部 标题 作者 关键词 摘要
Keywords: hybrid system,Verilog,interval temporal logic,the scheduling of discrete event,interleaving concurrency混合系统,Verilog,区间时态逻辑,离散事件调度,交叠式并发语义
Full-Text Cite this paper Add to My Lib
在连续离散混合时间模型中考虑Verilog的语义行为,将混合模型中的一个区间作为Verilog程序一次运行过程的指称.提出了一种扩展的ITL来描述这种混合区间,从而给出Verilog的形式语义.这种语义定义不仅考虑到了各种语言成分的最终执行结果,而且能够很好地给出语言成分执行的时序特征.
Full-Text
Contact Us
service@oalib.com
QQ:3279437679
WhatsApp +8615387084133
