What is Questa AutoCheck

Questa Autocheck 소개

• Questa AutoCheck는 Formal 기반 버그 사냥 Tool 입니다. 이 툴의 최적 사용 시점은 블록 수준 검증이므로 설계자와 검증 엔지니어가 설계 및 검증 과정 초기에 사용하기에 적합합니다.

• Autocheck은 블록 내 버그 수를 최소화하고 자동화된 방식으로 가능한 쉽게 수행하는 것을 목표로 다음의 세 가지 설계 영역에서 버그를 찾는 푸시 버튼 방식의 툴입니다.

Autocheck 검증 영역

• RTL 수준 버그 : 시뮬레이션과 합성 불일치 (합성을 고려하지 않은 잘못된 코드, 클럭 지연 등)
• Netlist 수준 버그 : Netlist 특정 구성 요소 (Combinational Loop, Bus conflict 등)
• Functional 수준 버그 : 순차적 로직에 대한 복합적인 기능적 버그 (Dead Code, Deadlock 등)

Questa AutoCheck GUI

아래 그림과 같이 테스트벤치 없이도 코드를 분석하여 잠재적 기능 오류를 검출하여 해당 코드 및 회로 구조를 연동하여 보여준다.