提高逻辑设计师效率的验证型设计流程
Cadence推出了Cadence Logic Design Team Solution的“验证型设计”组件已经过改良，为逻辑设计师大幅提高了工作效率。基于断言的验证方法的逻辑设计师可以在基于SystemVerilog Assertion 和Property Specification Language 的形式分析中实现高达50倍的速度及容量提升。通过Cadence Incisive模拟器和Xtreme系列系统的单一环境，他们可以在模拟中让性能提高10万倍。这种环境因为创造性的“热交换”能力而成为可能，它可以让设计师在几秒钟内轻松切换于商用模拟工具和Incisive Xtreme III加速器/模拟器之间。综合的基于断言的验证方法流程是“验证型设计”组件的核心，应用了通用的System Verilog语言前端、通用指令和统一的调试环境，使得逻辑设计师易于采用和开展该方法学和解决方案。在此流程中，一旦逻辑设计师使用Incisive形式检验器对断言进行检查，Incisive Design Team 模拟器和Xtreme加速器/模拟器可以被用来动态
检验所有断言。模拟可以通过直接测试进行，也可以通过自动化System Verilog测试平台，利用专门面向逻辑设计团队的Cadence Incisive Plan-to-Closure 方法学执行而实现。
网址：www.cadence.com
用于ASIC/ASSP验证的CONFIRMA平台
Synplicity公司的Confirma验证平台可大幅改进传统ASIC与ASSP验证流程，将软硬件工具整合为高度集成的硬件辅助验证解决方案。Confirma平台包括针对多个FPGA设计进行分组与实现的标准工具，能够将现有ASIC设计分组为多个FPGA设计的Certify软件；采用TotalRecall技术并能为标准软件模拟器提供完全可视化及无缝接口的Identify Pro软件，以及可提供硬件执行平台的HAPS原型板。此外，Confirma平台的模块化和可扩展架构还支持原型设计的复制，并使软件开发人员和系统集成人员能够运行实际的软件应用，从而大幅缩短了整体系统验证时间。
网址：www.synplicity.com
具有先进RET/OPC功能的LithoWare产品
KLA-Tencor推出基于Linux 的LithoWare，该产品是基于业内标准的PROLITH模型的光刻优化工具，允许客户同时优化RET和工艺条件，并将校准数据采集降至最少，从而有效缩短从设计到生产的时间。目前大多数EDA软件运行于Linux/Unix环境下，同样基于Linux的LithoWare可全面兼容这些产品。用户可通过 LithoWare装载GDSII文件，选择多个摸拟区域，互动改变光照条件和OPC修正，并将OPC修正后的掩膜图样输出为GDSII文件。LithoWare运行在Linux环境下，可将大量模拟工作量分布到很多台计算工作站上进行，从而允许工程师执行先进的光刻计算，并探索扩展的工艺参数，而这些在PC或其它工具上都是无法实现的，因为它们无法承担每次变化所带来的大量重复校准工作。LithoWare基于Linux的架构还可有效利用客户现有的计算机投资，而无需配置额外的硬件。与传统产品相比，LithoWare可帮助RET/OPC工程师或设计人员快速检查设计是否违反光刻条件，因而能够缩短开发周期。
网址：www.klatencor.com
加快无铅焊接返修操作的对流式预加热器
OK公司推出专门的预加热器PCT-100，能够提高无铅手工装配和返修时的工艺控制水平。PCT-100采用对流加热技术，大幅提升了其热响应性，并且能避免因过热而损坏部件及影响装配质量。PCT-100可用于表面贴装或通孔焊接的手工装配或返修任务，可单独或与专门的板卡夹具 (作为选件)配合使用。PCT-100既可用于传统的SnPb焊接，也可用于无铅焊接。由于其预热性能稳定，因此可在特定峰值高温下装配使用，并保证板子不变形。PCT-100能迅速达到所需要的温度，把生产率提高，然后再控制升温速度，以防止热量对板卡和部件造成损坏。PCT-100还配备了10cfm风扇，用于辅助加热和冷却，因而缩短了预热、焊接和冷却每项装配的整个周期。PCT-100预加热器设计面向全球的生产环境，工作噪声低，能满足国际性的标准如ESD安全规范和最大的机壳温度。PCT-100同时拥有CE认证。
网址：www.okinternationalchina.com
HighQ硅-铜集成无源器件制造工艺和设计工具
安森美推出了HighQ硅-铜集成无源器件(IPD)的先进的制造工艺技术。与昂贵、超高性能的基于砷化