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

Ali Habibi (1) , Asif Iqbal Ahmed (1) , Otmane Ait Mohamed (1) , Sofiene Tahar (2)

1 Dept. of Electrical and Computer Enginnering
2 Dept. of Electrical and Computer EnginneringDept. of Electrical and Computer Enginnering

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.

Domaines: Architectures Matérielles [cs.AR]; Electronique

Ali Habibi, Asif Iqbal Ahmed, Otmane Ait Mohamed, Sofiene Tahar. On the Design and Verification Methodology of the Look-Aside Interface. DATE'05, Mar 2005, Munich, Germany. pp.290-295. ⟨hal-00181864⟩