英文全稱

中文說明

ABV

Assertion based verification

基於斷言的驗證

AES

Advanced Encryption Standard

高級加密標準,是美國政府采用的一種區塊加密標準

ADC

Analog-to-Digital Converter

指模/數轉換器或者模數轉換器

AHB

Advanced High Performance Bus

高級高性能總線

ALF

Advanced Library Format

先進（時序）庫格式

ALU

Arithmetic and logic unit

算數邏輯單元

AMBA

Advanced Microcontroller Bus Architecture

高級微控制器總線體系

ANT

antenna

天線效應

AOP

Aspect Oriented Programming

面向方面編程

APB

Advanced Peripheral Bus

高級外部設備總線

API

Application Programming Interface

應用程序編程接口

APR

Auto place and route

自動布局布線

ARM

Advanced RISC Machines

英國Acorn公司(ARM公司的前身)設計的低功耗成本的第一款RISC微處理器。ARM處理器本身是32位設計，但也配備16位指令集，一般來講比等價32位代碼節省達35%，卻能保留32位系統的所有優勢

ASB

Advanced System Bus

是第一代AMBA系統總線，同AHB相比，它數據寬度要小一些，它支持的典型數據寬度為8位、16位、32位

ASCII

American standard code for information interchange

美國信息交換標準代碼是基於拉丁字母的一套電腦編碼系統,主要用於顯示現代英語和其他西歐語言

ASIC

Application Special Integrated Circuit

專用集成電路

ATE

Automatic Test Equipment

半導體產業意指集成電路自動測試機， 用於檢測集成電路功能之完整性， 為集成電路生產制造之最後流程， 以確保集成電路生產制造之品質

ATM

Asynchronous transfer mode

異步傳輸模式,是一種為了多種業務設計的面向連接的傳輸模式

ATPG

Automatic Test Pattern Generation

自動測試向量生成是在半導體電器測試中使用的測試圖形向量由程序自動生成的過程

AVM

Advanced Verification Methodology

先進驗證方法學

AXI

Advanced extensible Interface

是一種總線協議，該協議是ARM公司提出的AMBA（Advanced Microcontroller Bus Architecture）3.0協議中最重要的部分，是一種面向高性能、高帶寬、低延遲的片內總線

BC

Best Case

最佳條件

BCD

Bipolar CMOS DMOS

雙擊晶體管-互補型MOS-擴散型MOS

BFM

Bus functional model

總線功能模型

BGA

Ball Grid Array

球柵陣列:以球型引腳焊接工藝為特征的一類集成電路封裝。可以提高可加工性，減小尺寸和厚度，改善了噪聲特性，提高了功耗管理特性

BIST

Built-in Self Test

在設計時在電路中植入相關功能電路用於提供自我測試功能的技術，以此降低器件測試對自動測試設備（ATE）的依賴程度

BJT

Bipolar Junction Transistor

雙極結型晶體管

BSIM

Berkeley Short-channel IGFET Mode

伯克利短溝道絕緣柵場效應晶體管模型

CAD

Computer Aided Design

計算機輔助設計指利用計算機及其圖形設備幫助設計人員進行設計工作

CAN

Controller Area Network

是ISO國際標準化的串行通信協議。在當前的汽車產業中，出於對安全性、舒適性、方便性、低公害、低成本的要求，各種各樣的電子控制系統被開發了出來

CCSM

Composite Current Source Model

復合電流源模型

CDM

Charged-Device Model

元件充電模型

CDV

Coverage Driven Verification

覆蓋率驅動的驗證

CMOS

Complementary Metallic Oxide Semiconductor

互補金屬氧化物半導體，電壓控制的一種放大器件，是組成CMOS數字集成電路的基本單元

CPF

common power format

通用功耗格式

CPLD

Complex Programmable Logic Device

復雜可編程器件

CPPR

Common Path Pessimism Removal

共同路徑悲觀去除

CPU

Central Processing Unit

中央處理器

CRPR

Clock Reconvergence Pessimism Removal

時鐘再收斂悲觀消除法

CTL

Computation tree logic

計算數邏輯,形式驗證中時序邏輯的一種形式

CTS

Clock Tree Synthesis

時鐘樹綜合

DAC

Digital-to-Analog Converter

數模轉換的電路

DC

Design compiler

Synopsys 公司出品的綜合工具,用來解決從RTL到門級網表的問題

DCM

Digital Clock Manager

數字時鐘管理單元，其中包含一個 DLL，可以提供對時鐘信號的二倍頻和分頻功能，並且能夠維持各輸出時鐘之間的相位關系，即零時鐘偏差

DCT

Discrete cosine transform

離散余弦變換

DDR

Double Data Rate

雙倍速率同步動態隨機存儲器。嚴格的說DDR應該叫DDR SDRAM，人們習慣稱為DDR，其中，SDRAM 是Synchronous Dynamic Random Access Memory的縮寫，即同步動態隨機存取存儲器

DEF

Design-Exchange format

設計交換格式

DES

Data Encryption Standard

數據加密標準,是一種使用密鑰加密的塊算法,1977年被美國政府確定為聯邦資料處理標準

DFM

Design for manufacture

面向制造的設計，即從提高零件的可制造性入手，使得零件和各種工藝容易制造，制造成本低，效率高，並且成本比例低

DFT

Design For Test

可測性設計方

DFV

Design for Verification

設計驗證，主要針對特定設計進行驗證

DFY

Design For Yield

考慮良率性設計

DIP

Double In-line Package

雙列直插式封裝。插裝型封裝之一，引腳從封裝兩側引出，封裝材料有塑 料和陶瓷兩種。DIP是最普及的插裝型封裝，應用範圍包括標準邏輯IC，存貯器LSI，微機電路等。

DMA

Direct Memory Access

直接內存存取，允許不同速度的硬件裝置來溝通

DPI

Direct Programming Interface

直接可編程接口

DRC

Design Rule Check

設計規則檢查

DSP

Digital Signal Processing

數字信號處理

DUV

Design-under verification

待驗證設計

DVE

Discovery Visualization Environment

可視化仿真環境

DVFS

Dynamic Voltage Frequency Scaling

動態電壓頻率調節

DVR

Design Rule Violation

設計規則違反

DVT

Design verification test

設計驗證測試,是硬件生產中不可缺少的一個檢測環節,包括模具測試,電子性能,外觀測試等

ECC

Error Correcting Code

錯誤檢查和糾正

ECO

Engineering Change Order

工程更改計劃

ECSM

Effective Current Source Model

有效電流源模型

EDA

Electronic Design Automation

電子設計自動化

EDT

Embedded Deterministic Test

嵌入式確定性測試，通過測試壓縮和解壓結構，減少測試數量，縮短測試時間，降低測試成本

EEPROM

Electrically Erasable Programmable read only memory

電可擦可編程只讀存儲器--一種掉電後數據不丟失的存儲芯片，最大優點是可直接用電信號擦除，也可用電信號寫入。EEPROM不能取代RAM的原應是其工藝復雜， 耗費的門電路

過多，且重編程時間比較長，同時其有效重編程次數也比較低

EPROM

Erasable Programmable Read-Only Memory

“可擦寫可編程只讀存儲器”的特點是具有可

擦除功能，擦除後即可進行再編程，但是缺點是擦除需要使用紫外線照射一定的時間。這一類芯片特別容易識別，其

封裝中包含有“石英玻璃窗”，一個編程後的EPROM芯片的“石英玻璃窗”一般使用黑色不幹膠紙蓋住， 以防止遭到

陽光直射。

ERC

Electrical Rules Check

電氣規則檢查

eRM

e Reuse Methodology

e語言復用方法

ESD

Electro-Static discharge

“靜電釋放”。ESD是20世紀中期以來形成的以研究靜電的產生、危害及靜電防護等的學科。因此，國際上習慣將用於靜電防護的器材統稱為ESD，中文名稱為靜電阻抗器

ESD

Electro-Static discharge

靜電釋放

ETM

Extracted timing model

抽取寄生參數之後的時序模型

FIM

Field-Induced Model

電場感應模型

FO

Fan-Out

扇出

FOX

Field Oxide

場氧（層）

FPGA

Field Programmable Gate Array

現場可編程門陣列

FPU

Float Point Unit

浮點運算單元

FSDB

Fast Signal Database

快速信號數據庫

FSM

Finite State Machine

狀態機

GDS

Graphic Design System

圖形設計體統（格式）

GPU

Graphics Processing Unit

圖形處理器

HBM

Human-Body Model

人體放電模型

I2C

Inter-Integrated Circuit

由Philips公司開發的一種簡單、雙向二線制同步串行總線。它只需要兩根線即可在連接於總線上的器件之間傳送信息

IC

Integrated Circuit

集成電路

ICDS

IC Design Service

芯片設計服務

IDDQ

Integrated Circuit Quiescent Current

集成電路靜止電流

IEEE

Institute of Electrical and Electronics Engineers

電氣和電子工程師協會

IP

Intellectual Property

知識產權，在芯片設計中指對某種設計技術的專利

ISA

Instruction Set Architecture

指令集架構

JDV

Job deck view

在線光掩膜數據檢視

JTAG

Joint Test Action Group

聯合測試行動組:一系列在主板加工過程中的對主板和芯片級進行功能驗證的標準

LDM

Logic Data Model

邏輯數據模型

LDMOS

Lateral Double-diffused MOSFET

橫向雙擴散MOSFET

LDO

low dropout regulator

一種線性穩壓器，使用在其線性區域內運行的晶體管或場效應管（FET），從應用的輸入電壓中減去超額的電壓，產生經過調節的輸出電壓

LEC

Logic Equivalency Check

邏輯等效性檢查

LED

Light Emitting Diode

發光二極管簡稱

LEF

Library-Exchange Format

庫交換格式

LET

Linear Energy Transfer

線性能量傳遞，是指在單位長度的能量轉遞

LPDC

Low density parity check code

低密度的奇偶校驗碼

LPS

Logic Physical Synthesis

邏輯物理綜合

LRM

Language Reference Manual

語言參考手冊

LSFR

Linear Feedback Shift Register

線性反饋移位寄存器

LUT

Look-Up Table

查找表:一種在 PFU 中的器件結構元素，用於組合邏輯和存儲。基本上是靜態存儲器（SRAM）單元

LVDS

Low-Voltage Differential Signaling

1994年由美國國家半導體公司提出的一種信號傳輸模式，是一種電平標準，LVDS接口又稱RS-644總線接口，是20世紀90年代才出現的一種數據傳輸和接口技術

LVS

layout versus schematic

版圖與原理圖一致性檢查

MAR

minimum area rule

最小面積規則

MBIST

Memory Built-in Self Test

Memory 內建自測試

MCM

Multi Chip Module

多芯片模塊，是將一塊封裝中包含兩個或兩個以上芯片，芯片之間通過高密度基板互聯，形成具有一定部件或系統功能的高密度微電子組件

MCU

Microcontroller Unit

單片微型計算機

MEMS

Micro-Electro-Mechanical System

微電子機械系統、微系統、微機械等，指尺寸在幾毫米乃至更小的高科技裝置

MISR

Multiple-Input Signature Register

多輸入特征寄存器

MM

Machine Model

機器放電模型

MPW

Multi Project Wafer

多項目晶圓，將多個使用相同工藝的集成電路設計放在同一晶圓片上流片，制造完成後，每個設計可以得到數十片芯片樣品

NBA

Non-Blocking Assignment

非阻塞賦值

NLDM

Nonlinear Delay Model

非線性延時模型

NoC

Network On Chip

片上網絡

NVM

Non-Volatile Memory

非易失性存儲器

OCV

On-Chip variation

片上誤差

OOP

Object Oriented Programming

面向對象編程

OTC

Over The Cell

單元上（RC提取）

OTP

One Time Programmable

是MCU的一種存儲器類型,意思是一次性可編程：程序燒入IC後，將不可再次更改和清除

OVI

Open Verilog International

國際Verilog開放合作小組

OVM

Open Verification Methodology

開放驗證方法學

PAE

Process Antenna Effect

工藝天線效應

PCB

Printed Circuit Board

印制電路板，又稱印刷線路板，是重要的電子部件，是電子元器件的支撐體，是電子元器件電氣連接的載體

PCI

Peripheral Component Interconnect

外設部件互連標準

PEI

Power Forward Initiative

低功耗（設計）合作組織

Perl

Practical Extraction and Report Language

實用報表提取語言

PGA

Pin-Grid Array

引腳網格陣列

PGV

Power Grid View

電源、網格試圖

PLCC

Plastic Leaded Chip Carrier

PLCC封裝方式，外形呈正方形，32腳封裝，四周都有管腳，外形尺寸比DIP 封裝小得多。PLCC封裝適合用SMT表面安裝技術在PCB上安裝布線，具有 外形尺寸小、可靠性高的優點。

PLE

Physical Layout Estimator

物理布圖參數

PLI

Programming Language Interface

可編程語言接口

PLL

Phase Locked Loop

鎖相回路或鎖相環,用來統一整合時脈訊號

POP

Process Oriented Programming

面向過程編程

PPA

Performance，Power，Area

性能，功耗，面積

PSL

Property specification language

一種專門用於硬件特性描述的語言,由IBM開發的Sugar語言發展而來

PVT

Process，Voltage，Temperature

工藝，電壓，溫度

PWM

Pulse Width Modulation

脈沖寬度調制是利用微處理器的數字輸出來對模擬電路進行控制的一種非常有效的技術，廣泛應用在從測量、通信到功率控制與變換的許多領域中

QoR

Questions of Reality

QDR

Quad Data Rate

四倍數據倍率，在DDR的基礎上，擁有獨立的寫接口和讀接口，以此達到4倍速率

QFP

Quad Flat Package

四方扁平封裝

QTM

Quick timing model

快速時序模型,一般用於網表完備之前

QTP

Quad Tape Carrier Package

四向型TCP

RAM

random access memory

隨機存取存儲器

RF

Radio Frequency

射頻表示可以輻射到空間的電磁頻率，頻率範圍從300KHz～300GHz之間

RFID

Radio Frequency Identification

常稱為感應式電子晶片或近接卡、感應卡、非接觸卡、電子標簽、電子條碼等。其原理為由掃描器發射一特定頻率之無線電波能量給接收器，用以驅動接收器電路將內部的代碼送出，此時掃描器便接收此代碼

RISC

Reduced Instruction Set Computer

精簡指令集計算機。特點是所有指令的格式都是一致的，所有指令的指令周期也是相同的，並且采用流水線技術

ROM

Read Only Memory

只讀存儲器

RSA

Ron Rivest, Adi Shamir, Leonard Adleman algorithm

公開秘鑰加密

RTL

Register Transfer Level

寄存器傳輸級

SAF

Stuck-at fault

短接故障模型

SDC

Standard Design Constraints

標準設計約束

SDF

Standard Delay Format

標準延時格式文件

SEB

Single Event Burnout

單粒子燒毀

SEE

Single Event Effect

單粒子效應

SEFI

Single Event Functional Interrupt

單粒子功能中斷

SEGR

Single Event Gate Rupture

單粒子門斷裂

SEL

Single Event Latch up

單粒子鎖定

SET

Single Event Transient

單粒子瞬變效應

SEU

Single Event Upset

單粒子翻轉

SIA

Semiconductor Industry Association

美國半導體工業協會

SIP

System In a Package

是將多種功能芯片，包括處理器、存儲器等功能芯片集成在一個封裝內，從而實現一個基本完整的功能。與SOC（System On a Chip系統級芯片）相對應。不同的是系統級封裝是采用不同芯片進行並排或疊加的封裝方式，而SOC則是高度集成的芯片產品

SMT

Surface Mount Technology

表面貼裝技術

SoC

System on Chip

單芯片系統，片上系統

SOI

Silicon-On-Insulator

絕緣襯底上的矽，該技術是在頂層矽和背襯底之間引入了一層埋氧化層

SoPC

System-on-a-Programmable-Chip

可編程片上系統，用可編程邏輯技術把整個系統放到一塊矽片上

SPARC

Scalable Processor Architecture

可擴充處理器架構，是RISC微處理器架構之一。它最早於1985年由Sun電腦所設計，也是SPARC國際公司的註冊商標之一

SPEF

Standard Parasitic Exchange Format

標準寄生參數交換格式

SPF

Standard Parasitic Format

標準寄生參數格式

SPI

Serial Peripheral Interface

串行外設接口是一種高速的，全雙工，同步的通信總線，並且在芯片的管腳上只占用四根線，節約了芯片的管腳，同時為PCB的布局上節省空間，提供方便

SPICE

Simulation Program with Integrated Circuit Emphasis

集成電路仿真程序

STA

Static Timing Analysis

靜態時序分析

STM

Static timing model

靜態時序模型

SVA

SystemVerilog Verification Assertion

基於SystemVerilog的斷言驗證技術

SVM

System Verification Methodology

Verisity公司的方法稱為系統驗證方法

TAP

Test Access Port

測試訪問接口，TDI，TCK，TRST

TCL

Tool Command Language

工具命令語言

TCP

Tape Carrier Package

柔性線路板，IC可固定於其上

TG

Transmission Gate

傳輸門

TID

Total Ionizing Dose

總劑量輻射效應

TLF

Timing Library Format

時序庫格式

TLI

Transaction Level Interface

事物級接口

TLM

Transaction Level Modeling

事物級建模方法

TMR

Triple Modular Redundancy

三模冗余系統

TNS

Total Negative Slack

負剩余時間總和

TSV

Through Silicon Via

貫穿矽通孔

TTL

Transistor-Transistor Logic

由BJT（Bipolar Junction Transistor 即雙極結型晶體管），晶體三極管和電阻構成，具有速度快的特點

TVS

Transient Voltage Suppressor

瞬態二極管簡稱

TWF

Timing Window Format

時序窗格式

UART

Universal Asynchronous Receiver/Transmitter

通用異步收發傳輸器是一種異步收發傳輸器，是電腦硬件的一部分。它將要傳輸的資料在串行通信與並行通信之間加以轉換

UCDB

Unified coverage database

統一覆蓋率格式(mentor公司使用)

UCLI

Unified Command-Line Interface

統一命令行接口

UDP

User-defined primitive

用戶自定義原語

UNIX

Uniplexed Information and Computing System（UNICS）

操作系統名

UPF

Unified Power Format

統一功率格式

USB

Universal Serial Bus

通用串行總線的縮寫，是一個外部總線標準，用於規範電腦與外部設備的連接和通訊

UVC

UVM component

UVM組件

UVM

Universal Verification Methodology

通用驗證方法學

V2L

Via to Line

通孔至連線

V2V

Via to Via

通孔至通孔

VCD

Value Change Dump

硬件描述語言仿真結果的一種標準輸出格式

VCS

Verilog Compiled Simulator

Verilog編譯仿真器

VDMOS

Vertical Double-diffused MOSFET

垂直雙擴散MOSFET

VHDL

Very high speed integrated circuit Hardware Description Language

超高速集成電路硬件描述語言

VI

Visual Editor

可視編輯器

VIP

Verification IP

驗證IP

VLSI

Very Large Scale Integrated Circuit

超大規模集成電路

VMM

Verification Methodology Manual

VMM是大規模集成電路(IC)設計驗證領域的一種高級驗證方法學

VPI

Verilog Procedural Interface

Verilog過程接口

WC

worst-case

最差條件

WGL

Waveform Generation Language

產生波形的語言

WLF

Wave Log File

波形文件

WLM

Wire Load Model

連線負載模型

WNS

Worst negative slack

最壞負剩余時間

XMR

Cross Module Reference

跨模塊引用