...Verilog 代数语义研究 - pdf.io Key words: Verilog; algebraic semantics; soundness; completeness; normal form reduction; event; event [gap=791]关键词: Verilog;代数语义;可靠性;完备性;范式归约;事...
基于132个网页-相关网页
基于进程代数语义理论,研究了无干扰性质及不可演绎性质的构造、关系及可复合性。
In this paper, the derivation of process algebraic expressions for no-interference and non-deducibility property, and the composibility of those expressions are discussed.
我们的代数语义相对于前面所作的操作语义模型来讲是可靠的,即所有的这些代数规则左右两边的进程在操作语义的观察模型下都是互模拟的。
All the laws presented above are sound with respect to the operational semantics , i . e. , if the two processes are the two sides of a law, then they are bisimilar.
应用推荐