Login | Register

Formal analysis and verification of an OFDM modem design

Title:

Formal analysis and verification of an OFDM modem design

Abdullah, Abu Nasser Mohammed (2006) Formal analysis and verification of an OFDM modem design. Masters thesis, Concordia University.

[thumbnail of MR14272.pdf]
Preview
Text (application/pdf)
MR14272.pdf - Accepted Version
5MB

Abstract

this thesis we formally specify and verify an implementation of the Orthogonal Frequency Division Multiplexing (OFDM) Physical Layer using theorem proving techniques based on the HOL (Higher Order Logic) system. The thesis is meant to follow a framework, developed at Concordia University, incorporating formal methods in the design flow of digital signal processing systems in a rigorous way. The design under verification is a prototype of IEEE 802.11 Physical Layer implemented using standard Very Large Scale Integration (VLSI) design flow, starting from a floating-point model to the fixed-point and then synthesized and implemented in Field Programmable Gate Array (FPGA) technology. The models were verified in HOL against the IEEE 802.11 specification ratified by the IEEE standardization body and implemented by almost all major wireless industry in the world. The versatile expressive power of HOL helped model the original design at all abstraction levels without affecting its integrity.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Electrical and Computer Engineering
Item Type:Thesis (Masters)
Authors:Abdullah, Abu Nasser Mohammed
Pagination:xiii, 136 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:M.A. Sc.
Program:Electrical and Computer Engineering
Date:2006
Thesis Supervisor(s):Tahar, Sofiène
Identification Number:LE 3 C66E44M 2006 A23
ID Code:8721
Deposited By: Concordia University Library
Deposited On:18 Aug 2011 18:33
Last Modified:13 Jul 2020 20:05
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