A Novel Approach to High-Level Property Checking Using Wu's Method

Abstract

High-level property checking has attracted tremendous research effort in recent years, for traditional formal verification technologies become hard to satisfy the verification requirement which turns more and more complex gradually. In this paper, we present a novel approach to verify properties for the high-level design using Wu's method. In the approach… (More)
DOI: 10.1109/DELTA.2008.12

Topics

1 Figure or Table

Cite this paper

@article{Yang2008ANA, title={A Novel Approach to High-Level Property Checking Using Wu's Method}, author={Zhi Yang and Guangsheng Ma and Shu Zhang}, journal={4th IEEE International Symposium on Electronic Design, Test and Applications (delta 2008)}, year={2008}, pages={576-580} }