SOC设计验证讲述

本文论述了SOC正确性验证所使用的模拟，形式验证技术和静态验证技术等，并讨论了在设计过程中系统级、模块级、门级和物理级各个层次中的验证方法。     

俄罗斯下诺夫哥罗德无线电技术研究所研制雷达的发展

本旨在介绍俄罗斯下诺夫哥罗德无线电技术研究所雷达的发展及其新技术和新突破。     

4G系统的新技术和特点

国际电信界在研究实施第三代移动通信（３G）系统的同时，又提出了第四代移动通信（４G）的概念。国际电信业者目前还无法准确定义４G，按照目前理论界和运营商等各方面的共识，４G广义上不仅仅限于蜂窝电话系统，还包括许多新的通信系统，如宽带无线接入系统、毫米波LAN、智能传输系统、高空同温层平台基站系统（HAPS）、特定（adhoc）无线网络系统等。１．４G系统使用的新技术４G系统技术有两个基本目标：一是实现无线通信全球覆盖，二是提供无缝的高质量无线业务。为了达到这个目标，需要在下列几个方面作出努力：频谱的高效使用、…     

CES（2003）给我们的启示

今年1目9日～12日，CES(2003)在美国拉斯维加斯举行，有11．6万多人出席(去年是10万人)，吸引了2283家参展商，展览面积约13万米^2。除有更多的传统音视频、家庭娱乐产品外，数字和无线组俞产品及移动和家庭网络产品成为展会的主题。对今年展会的总结：CES是新老用户和CD及家庭网络产业领导层碰头的好地方。从下面选取的一部分精华展品，看看对我们有些什么启示。     

浮栅技术及其应用

介绍了浮栅技术的基本原理及应用情况。井对2种应用了浮栅技术的典型器件-浮栅MOS晶体管和神MOS晶体管做了详细介绍，分析了他们的基本结构和工作原理，以及建立浮栅MOS晶体管的等效模型，并说明了他们的应用情况及存在的不足。