This thesis is composed of three topics. The first topic is 'An Effective Polling Scheme and Adaptive Ack Mechanism for IEEE 802.11e.' This topic is illustrated in part Ⅰ. In this part, an effective polling scheme for the wireless LAN environment has proposed. The proposed polling scheme reduces the number of polling times for a station with no packets to transmit. Therefore, it reduces the amount of time wasted, and improves throughput when some stations in the polling list have packets to transmit. For example, the simulation result shows that the throughput increases by 35.8％ when fifteen stations out of thirty stations in the polling list have packets to transmit at IEEE 802.11 a 54Mbps rate. In addition, the adaptive Ack policy improves about 2Mbps of throughput in the same environment.
The second topic is "Accelerating Verification with Reusable Testbench." This topic is shown at part II. This part presents an effective testbench architecture far accelerated verification and reuse of parts of testbench in co-emulation. The testbech is divided into a synthesizable part which can be hardware accelerated and non-synthesizable part which remains on the software simulator. The split blocks of testbench can be reused far other test environment. Experiment with the real world system shows that the proposed verification environment has over 31％ higher performance than that of the conventional co-emulation environment. The proposed verification environment as over 31％ higher performance than that of the conventional co-emulation environment.
The last topic is 'Model checking for Viterbi decoder.' This topic is illustrated in part III. The design complexity continues to grow. Verification engineers cannot keep up using only conventional verification methods, such as logic simulation. Therefore, formal verification techniques are required. For sequential systems, one of the most feasible approaches to formal verification is model checking. In this part, the model checking verification is discussed. The Viterbi decoder block for IEEE 802.11a system is verified by using model checking tool.
이 논문은 세가지 주제로 구성되어 있다. 우선 첫 번째 주제는 ' IEEE 802.11a에서의 효과적인 polling 방법 및 적응형 ACK 방법' 이다. 이 주제에서는 무선랜 환경에서의 효과적인 polling 방법에 대해 제안하고 있다. 일반적인 Round-robin 방식의 polling 을 사용할 경우에 생기는 polling 부담을 줄이기 위하여, 전송할 packet을 가지고 있지 않은 station에 대한 polling 횟수를 줄임으로써 전체적은 throughput 을 향상시키는 방법이다. 예를 들어 802.11a 54Mbps 물리계층을 사용하며, 30 개의 stations 중에서 15 개의 station 만이 전송할 packet을 가지고 있는 경우 35.8％의 throughput 향상을 얻을 수 있었다.
두 번째 주제는 '재사용 가능한 testbench를 이용한 빠른 검증' 이다 이 주제는 co-emulation 환경에서 효과적인 testbench 의 분할을 통해서 합성 가능한 최대한의 testbench block 을 구성하여, 이를 하드웨어 emulator 장비에 검증할 블록과 같이 넣음으로써 검증 속도를 높이는 것이다. Aptix, Celaro 두 개의 검증 장비를 이용한 실험 결과 31％ 이상의 검증 속도 향상을 보이는 것을 확인할 수 있었다.
마지막 주제는 'Viterbi decoder블록의 Model checking' 이다. 검증할 block의 크기가 커질수록, 일어날 수 있는 경우의 수가 지수적으로 증가함으로 기존의 simulation 을 통해서는 완벽한 검증을 하기가 어렵다. 그러므로 여기서는 정형 검증 기법의 하나인 Model checking 기법을 사용하여 검증하는 방법에 대해서 언급하고, Viterbi decode block에 대해 VIS software를 사용하여 검증을 수행하였다.
