SVF file for Formality - Synopsys DC 생성파일

SVF ("Setup Verification for Formality")

파일은 Synopsys의 Design Compiler에 의해 생성되며, Formality에서 사용됩니다. 이 파일을 생성하기 위해 Design Compiler의 dc_shell 프롬프트에서 set_svf "mydesign.svf" 또는 set_svf -append "mydesign.svf" 명령을 사용합니다. set_svf 명령이 지정되지 않으면 'default.svf' 파일이 자동으로 작성됩니다. SVF 파일은 디자인 컴파일러가 이름을 변환하거나 '비교 포인트'의 특성을 어떻게 변경했는지에 대한 정보를 담고 있으며, Formality에서는 이를 텍스트 파일로 변환하여 읽습니다. 파일 내에는 Formality를 위한 'guide' 모드 명령이 포함되어 있습니다.

SVF 파일은 디지털 회로 설계의 합성과 검증 과정에서 중요한 역할을 합니다. 예를 들어, 회로 설계자가 VHDL 또는 Verilog와 같은 하드웨어 기술 언어로 복잡한 디지털 회로를 설계할 때, 이 설계는 Design Compiler를 통해 합성됩니다. 이 과정에서 회로의 이름이나 구조가 변형될 수 있는데, SVF 파일은 이러한 변형 사항을 정확하게 문서화합니다.

예를 들면, 원래 설계에서 'adder'라는 이름의 컴포넌트가 합성 후 'add_block_1'로 이름이 변경될 수 있습니다. SVF 파일은 이러한 이름 변화를 기록하여, Formality 툴이 원본 설계와 합성된 결과를 비교할 때 참조점으로 사용할 수 있게 합니다. 또한, 회로의 특정 부분에서 예상치 못한 변화가 생겼을 경우, SVF 파일을 통해 문제의 원인을 쉽게 추적하고 수정할 수 있습니다. 이처럼 SVF 파일은 설계의 의도와 합성된 결과가 일치하는지 확인하는 데 필수적인 정보를 제공합니다.

참고사이트 : http://www.vlsiip.com/asic_dictionary/S/svf_file.html