Path Predicate Abstraction: for Sound System-Level Modeling of Digital Circuits
Path Predicate Abstraction: for Sound System-Level Modeling of Digital Circuits
复制标题
路径谓词抽象：用于数字电路的健全系统级建模
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
J. Urdahl
中科院分区：
文献类型：
--
作者：
J. Urdahl
公式具体公式（1）lize i ηi x i i μi（2）X f X（<$U（<$f））
formula Concrete formula (1) ŝi ηi x̂i Ψx̂i ∧ ιi ŷi Ψŷi ∧μi (2) X f̂ X(¬Ψ U(Ψ∧ f ))