Hardware/ASIC/SoC/NoC2009.11.06 15:38
[ASIC Verification Technology Option for Block and System]

  "ASIC Verification Technology Option for Block and System" 문서의 검증 기술과 방법론에 대한 간략한 개요 설명한다. 시뮬레이션, 에뮬레이션, Static 그리고 Formal 과 같은 기술들은 나중에 토론할 것이다.
  검증의 목표는 실리콘으로 가기전에 스팩에 따라서 설계 기능을 검증하는 것으로써, 오늘날 검증은 총 ASIC 프로젝트 time의 40~70%를 소비한다. 더 나은 검증 방법론과 툴들을이 있다고 할지라도, ASIC 설계에서 검증하는데 소비되는 시간은 이전 10년 동안 거의 변화가 없었다. 그 이유는 실리콘 집적도의 증가로 인해 아주 많은 게이트를 하나의 다이에 집적함으로써 설계 복잡도가 증가하였기 때문이다. 
  산업에서는 몇가지 이용 가능한 검증 기술 사항들이 있다. 검증 기술 사항들은 다음과 같이 5개의 부분으로 나누어진다.
1.Simulation-based technologies.
2.Static technologies.
3.Formal technologies.
4.Physical verification and analysis.
5.New functional qualification.

SoC 검증은 검증 목표를 달성하기 위해서 이러한 방법론의 조합이 필요하다.

1.Simulation-based Technologies.
a.Event-based Simulators.
b.Cycle-based Simulators.
c.Transaction-based Verification.
d.Code Coverage.
d.HW/SW Co-verification.
e.Emulation System.
f.Rapid Prototyping Systems.
g.Hardware Accelerators.
h.AMS Simulation(Analog/Mixed Signal)

2.Static Technologies.
a.Link Checking.
b.Static Timing Verification.

3.Formal Technologies.
a.Theorem Proving Technique.
b.Formal Model Checking.
c.Formal Equivalence Checking.
d.Formal Sequential Equivalence Checking.

4.Functional Qualification(Intelligent Test Bench)
5.Physical Verification and Analysis.

*검증 선택사항들의 비교.

Reference
[1] ASIC Verification Technology Option for Block and System
Posted by Act of God