This paper formally specifies and verifies an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HOL (Higher Order Logic) theorem prover. The versatile expressive power of HOL helped model the original design at all abstraction levels starting from a floating-point model to the fixed-point design and then synthesized and implemented in FPGA technology. The paper also investigates the rounding error accumulated during ideal real to floating-point and fixed-point transitions at the algorithmic level.
Did you find this white paper useful?
7 out of 20 users found this white paper useful
Related white papers
Cisco and Intel Present: How the Latest 802.11i Wireless Security Standards Will Help Secure Your Business
This webcast explains how the latest WiFi Alliance security standard 802.11i, also known as WPA2, makes wireless networks as secure as wired. This seminar explains some of the key features...
Eastman Chemical Cooks Up Savings, Productivity, and Agility With Intel Centrino Mobile Technology and Standards-Based Environment
Facing rising materials and energy costs, industry consolidation, and new global competitors, chemical manufacturers have to seize every opportunity to gain a competitive edge. Eastman Chemical undertook an enterprise-wide drive...
On Cyclic Delay Diversity in OFDM Based Transmission Schemes
Cyclic Delay Diversity (CDD) is a simple approach to introduce spatial diversity to an Orthogonal Frequency Division Multiplexing (OFDM) based transmission scheme that itself has no built-in diversity. It also...
How Cisco Deployed Wireless Access Points Worldwide
In 2000, Cisco IT began developing a consistent and supported wireless networking architecture. This case study describes Cisco IT's internal deployment of wireless LANs within the Cisco network, a leading-edge...
Timesaving Advice for Effective WLAN Management
Effectively managing Wireless Local Area Networks (WLANs) is becoming more and more challenging as organizations use their WLANs to support business-critical applications, everyday business operations, and specialized services. Because IT...
Crescent Girls' School Unwires Secondary Education With Pervasive Mobile Computing
Crescent Girls' School in Singapore is 1400-student secondary school that has integrated learning technologies into its curriculum in many innovative ways. Crescent Girls' School, through its m-Learning@Crescent e-learning initiative deployed...
World's Largest Ambulance Service Relies on Broadbeam Seamless Network Switching for Real-Time Emergency Response
London Ambulance Service is the largest ambulance service in the world, caring for more than one and a half million patients every year. A solution was needed that would enable...
