In this paper a formal verification of the look-aside interface using MDG-based model checking technique is presented. MDGs (multiway decision graphs) are ...
MDG-BASED VERIFICATION OF THE LOOK-ASIDE INTERFACE. Donglin Li. Department ofElectrical and. Computer Engineering,. Concordia University. Montreal, QC, H3G IM8 ...
In this paper a formal verification of the look-aside interface using MDG-based model checking technique is presented. MDGs (multiway decision graphs) are ...
Bibliographic details on MDG-Based Verification of the Look-Aside Interface.
In this paper a formal verification of the look-aside interface using MDG-based model checking technique is presented. MDGs (multiway decision graphs) are ...
A technique to design and verify the look-aside (LA-1) interface standard used in network processors, which includes several refinements starting from an ...
Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence ...
A formal verification of the look-aside interface using MDG-based model checking technique is presented and a practical example of a full formal ...
Abstract. In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors.
Feb 14, 2012 · In this paper we propose an automatic methodology to verify the soundness of model checking reduction techniques.