(0)
Overview: This research paper 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.
Unified Services Of AAA In 4G LTE Networks
The present technical white paper outlines the role of AAA services for 3GPP and non-3GPP system access in LTE technology. This paper...
Mobile Device Management for Dummies
With the increase in the use of mobile devices, you likely have questions that are left unanswered when it comes to managing and securing those devices. Well...
|
