Login | Register

Assertion-based verification of look aside interface


Assertion-based verification of look aside interface

Ahmed, Asif Iqbal (2005) Assertion-based verification of look aside interface. Masters thesis, Concordia University.

[thumbnail of MR04360.pdf]
Text (application/pdf)
MR04360.pdf - Accepted Version


This research addresses assertion-based verification to verify Look Aside Interface (LA-1 Standard). The Look Aside interface is intended for devices located adjacent to a network processing device (NPE) that off load certain tasks from the network processor. This verification is performed in several steps. First, we added assertions within the control logic of the RTL block and then we added assertions between interfaces of RTL blocks by following the Look Aside interface design specification. We developed the simulation environment in Verilog and relevant testcases derived from the specification, in order to perform simulation and observe the assertion messages for possible firings. Each firing pinpoints an error in the RTL. For the assertion monitors the Accellera Open Verification Library (OVL) was used. Finally, we transformed the same assertions into Sugar 2.0 properties and performed the model checking of our Verilog RTL model using Rulebase, from IBM corp.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Electrical and Computer Engineering
Item Type:Thesis (Masters)
Authors:Ahmed, Asif Iqbal
Pagination:ix, 99 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:M.A. Sc.
Program:Electrical and Computer Engineering
Thesis Supervisor(s):Mohamed, Otmane Ait
Identification Number:TK 7887.5 A36 2005
ID Code:8320
Deposited By: Concordia University Library
Deposited On:18 Aug 2011 18:22
Last Modified:13 Jul 2020 20:04
Related URLs:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top