串列矢量格式
SVF檔案是一種串列矢量格式（Serial Vector Format）的檔案，它用於表示JTAG測試模式，並且是獨立於供應商的。SVF檔案包含一系列的語句和/或注釋，通常存儲在ASCII文本檔案中。此外，SVF檔案也與形式驗證有關，特別是在Formality工具中使用，它包含了Formality setup information file，幫助進行邏輯等價驗證。在數字電路設計中，SVF檔案是在DC（Design Compiler）綜合過程中產生的，記錄了DC對網表的一些變化，以防止RTL（Register Transfer Level）代碼和門級網表對應不上的問題。