%0 Journal Article
%T Study on the Formal Semantics of Verilog<br>Verilog语言形式化语义研究
%A LI Yong jian
%A SUN Yong qiang
%A HE Ji feng
%A <br>李勇坚
%A 孙永强
%A 何积丰
%J 软件学报
%D 2001
%I 
%X 在连续离散混合时间模型中考虑Verilog的语义行为,将混合模型中的一个区间作为Verilog程序一次运行过程的指称.提出了一种扩展的ITL来描述这种混合区间,从而给出Verilog的形式语义.这种语义定义不仅考虑到了各种语言成分的最终执行结果,而且能够很好地给出语言成分执行的时序特征.
%K hybrid system
%K Verilog
%K interval temporal logic
%K the scheduling of discrete event
%K interleaving concurrency<br>混合系统
%K Verilog
%K 区间时态逻辑
%K 离散事件调度
%K 交叠式并发语义
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=999778FC8031058C&yid=14E7EF987E4155E6&vid=59906B3B2830C2C5&iid=F3090AE9B60B7ED1&sid=ECF40C1D1FB7C43B&eid=393263B6B7532F22&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=7