On the Design and Verification Methodology of the Look-Aside Interface

Authors:
Ali Habibi;Asif Iqbal Ahmed;Otmane Ait Mohamed;Sofiene Tahar
Affiliations:
Concordia University, Canada;Concordia University, Canada;Concordia University, Canada;Concordia University, Canada
Venue:
Proceedings of the conference on Design, Automation and Test in Europe - Volume 3
Year:
2005

Citing 2
Cited 3

Symbolic Model Checking

Symbolic Model Checking
Monitor-Based Formal Specification of PCI

FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design

Design and verification of systemc transaction-level models

IEEE Transactions on Very Large Scale Integration (VLSI) Systems
An approach for the verification of systemc designs using asml

ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Abstract property language for MDG model checking methodology

International Journal of Computer Applications in Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starting from an informal UML specification until getting to an RTL modeled in Verilog. We integrate the verification of the LA-Interface in the design flow by considering two intermediate levels: (1) Abstract State Machines (ASM); and (2) SystemC. The first one serves the verification by model checking of a set of PSL properties, while the second includes a set of assertions to be verified by simulation. To evaluate the performance of our approach, we used the Rule-Base model checker to verify the same properties; and the OVL library to verify the same assertions.