Sciweavers

FDL
2004
IEEE

A Formal Verification Approach for IP-based Designs

13 years 8 months ago
A Formal Verification Approach for IP-based Designs
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology assumes that the system consists of several reusable components, each of them already verified by their designers and which are considered correct under the assumption that the environment satisfies certain properties assumed by the component. What remains to be verified is the glue logic inserted between the components. Each such glue logic is verified one at a time using model checking techniques. A big difficulty with such an approach is the question how to handle the connected components and the rest of the system in the verification of the glue logic, which only constitutes a small part of the design. In this paper, algorithms for generating a model corresponding to the rest of the system are discussed together with guidelines on how and when to use them. The methodology is illustrated by a small case stu...
Daniel Karlsson, Petru Eles, Zebo Peng
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where FDL
Authors Daniel Karlsson, Petru Eles, Zebo Peng
Comments (0)