2009论文集


获一等奖论文

A migration from Vera to SystemVerilog in a stepped 3 approach Part II

获二等奖论文

Test Point Insertion for Test Coverage Improvement in DFT

基于IEEE1801(UPF)标准的低功耗设计实现流程

获三等奖论文

RTL Verification of DVS, Standby, Power gating in WLAN SoC Using UPF

基于VMM和VMM Applications构建可重用验证环境的方法

一种利用IC Compiler实现复杂情况下off-track布线的方法

利用扫描链压缩技术与多测试时钟设计实现低功耗ATPG测试的方法

HSIM, XA及其与VCS的混合验证方案在RF收发器芯片中的应用

纪念奖论文

Improve Verification Productivity with Synopsys Coverage Convergence Technology

Using Separate Compile Technology to Improve VCS Compile Performance

Using Synopsys Magellan and AIP to Verify OCP2AHB Bridge

使用VMM和DPI技术验证复杂多媒体SOC芯片

基于HAPS52开发平台的复杂数字接收机实现

基于Synopsys HAPS解决方案的大规模SoC原型验证

Low Power Cells Liberty Characterization with Liberty NCX

Predicting and Minimizing Routing Congestion in Synthesis Stage

使用层次自适应扫描压缩技术减少运行时间、降低测试向量和测试成本的方法

Transistor Level STA and SI Analysis with NanoTime on Custom Digital Blocks

一种新型布线器ICC Z_ROUTE的使用及性能分析

利用PrimeTime PX对ZTEIC RFID进行功耗分析的方法

Accelerated Mixed-signal Full Chip Verification with XA-VCS

Analyzing and Optimizing A High Speed Transeiver Design Using HSIM and Cosmos Scope

The Application of Custom Designer in Godson3 Project

XA-VCS co-simulation of Mixed Signal designs

A Systematic Way From Spec to an Executable Verification Plan

Low-Power Verification with MVSIM and MVRC

在VMM验证环境中使用ESL模型