59 search results - page 7 / 12 » Selective state retention design using symbolic simulation |
DAC
1994
ACM
13 years 10 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
ICC
2007
IEEE
14 years 28 days ago
2007
IEEE
— Current OFDM systems assume the channel is not time varying within one OFDM frame, and use channel estimates obtained from preamble or pilots for data symbols within the same f...
JCM
2007
13 years 6 months ago
2007
Abstract— In this paper, we propose and evaluate the performance of new link layer frame transmission techniques for MIMO (multiple input multiple output) wireless systems from a...
WSC
2001
13 years 8 months ago
2001
In this paper, the selection of a BASE Case was every bit as important as the simulation itself. The production team had been familiar with simulations and had used their results ...
JSAC
2008
13 years 6 months ago
2008
Abstract--We consider the design of multiple-input multipleoutput communication systems with a linear precoder at the transmitter, zero-forcing decision feedback equalization (ZFDF...