◎评《提高SoC硬件系统验证效率方法的综述》

在当前的SoC设计中，复杂的系统结构和50亿只晶体管的集成规模使得验证成为最关键也是最耗时的环节，占整个设计周期的比重高达70%。有效验证问题已成为SoC设计的一个重要主题，国内外学者和研究人员针对该问题展开了广泛的研究。

该文综述了近年来国内外业界和学术界研究开发的验证技术和验证策略。针对传统验证方法(如仿真和形式验证等)在应用于当前SoC设计规模时存在的问题，列举了大量的改进技术。同时，介绍了新近快速发展的混合验证和面向设计的验证方法(design for verifications)。最后，基于对现有验证技术和方法的分析以及面向未来SoC芯片规模，作者提出了SoC设计与验证在同一个平台、结构化、递归式进行的思想(verifying while designing)。

刘强博士在英国伦敦帝国理工学院攻读博士及博士后期间就专注于SoC的硬件验证，该篇综述将有助于读者了解当前国际范围内SoC硬件验证技术的现状、存在的问题、以及未来的发展趋势。

◎评《基片集成波导技术：最新的发展及未来的展望》

移动通信、无线通信、射频电子标签、无线传感器网络、GPS等已经成为人们身边的科技；卫星通信广播、气象遥感、卫星导航、航天通信、太空通信等不再是陌生的科技；大容量无线多媒体也已经不再是梦想。这一切都离不开工作达数百兆赫兹到数百吉赫兹的微波毫米波系统。然而，它们的体积和成本却成为制约各种无线多媒体通信系统的瓶颈，市场需求驱动微波毫米波系统必须微型化、高度集成化、多功能化、宽带化、多任务化、智能化，从而使得现代微波毫米波系统成为一个真正的复杂系统。

因此，从硬件上如何支持这样一个复杂系统低成本化的实现，就成为一个挑战，如何构建一个工艺平台来实现就成为微波毫米波工程的奥运赛场。基片集成波导技术(SIW)则是可以满足这些需求的一个平台，也将成为业界的主流技术平台之一。吴柯教授(IEEE Fellow)是SIW技术的发明者，也是国际微波毫米波界的知名专家，希望这篇文章能够对我国微波毫米波的发展起到一定的借鉴作用。