【文件属性】:
文件名称:符号模型验证器 SMV 的更多图像计算
文件大小:128KB
文件格式:PDF
更新时间:2021-06-29 19:44:31
学术 论文
Yet more image computations for SMV, the symbolic model verifier
Yet More Image Computations for SMV, the Symbolic Model
Verifier
Hiromi Hiraishi
Faculty of Engineering, Kyoto Sangyo University, Kyoto, Japan 603-8555
SUMMARY
This paper describes a collection of techniques to
improve the efficiency of the pre- and postimage computa-
tions that are the core of the Symbolic Model Verifier
(SMV), which is used for formal logic design verification.
The proposed techniques aim mostly at imp