Login | Register

On the Verification of a WiMax Design Using Symbolic Simulation

Title:

On the Verification of a WiMax Design Using Symbolic Simulation

Al-Akhras, Salim Ismail (2012) On the Verification of a WiMax Design Using Symbolic Simulation. Masters thesis, Concordia University.

[thumbnail of Alakhras_MASc_F2012.pdf]
Preview
Text (application/pdf)
Alakhras_MASc_F2012.pdf - Accepted Version
866kB

Abstract

The system-On-Chip design process is continuously increasing in terms of cost and complexity. This imposes new modeling and verification challenges. A particular example is heavy computational applications and functionality, such as digital signal processing and telecommunication applications, which are increasingly integrated in embedded systems nowadays. To meet these challenges, designers use a multilevel model based approach, which is a top-down design methodology where the behavior of the system is first modeled at a higher level of abstraction. Then, design decisions are made to refine those models in a number of transformations until the final product is realized. In this thesis we verify an implementation of a WiMax modem physical layer that has been designed according to the multilevel design approach. This implementation is provided by STMicroelectronics. We propose the utilization of two verification methodologies to verify designs at higher levels of abstraction. The first one is an equivalence checking methodology that is based on symbolic simulation, which provides high speed and computational capabilities. The main purpose of this methodology is to verify the functional equivalence of refined system models in the design process. The second methodology is a property checking approach, which is also based on symbolic simulation. It verifies the conformance of models at different levels of abstraction with the system specification. We verified the equivalence of three models of the WiMax system at different levels of abstraction, and we verified the correctness of various system properties on those models.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Electrical and Computer Engineering
Item Type:Thesis (Masters)
Authors:Al-Akhras, Salim Ismail
Institution:Concordia University
Degree Name:M.A. Sc.
Program:Electrical and Computer Engineering
Date:3 May 2012
Thesis Supervisor(s):Tahar, Sofi`ene and Nicolescu, Gabriela
ID Code:974451
Deposited By: SALIM ALAKHRAS
Deposited On:24 Oct 2012 15:36
Last Modified:18 Jan 2018 17:38
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