PINMUX 验证环境（FPV） PINMUX/FPV/ · VC Formal · SVA · 无 UVM 动态仿真 Makefile 总索引 PINMUX IP PINMUX 验证 形式验证流程 rtl/filelist pinmux.sva batch.tcl read_file -top pin_mux check_fv results.txt sva_checker 属性类型 assert spi0_csn0 仅映射合法 pad assert_spi0_csn0_pad_* assume I2C/QSPI 组合法约束 assume_i2c / assume_qspi0 cover 可达复用场景 cov_spi0_csn0_pad2/15 入口：cd PINMUX/FPV/solution && vcf -verdi -f batch.tcl
PINMUX 验证环境（FPV） PINMUX/FPV/ · VC Formal · SVA · 无 UVM 动态仿真 Makefile 总索引 PINMUX IP PINMUX 验证 形式验证流程 rtl/filelist pinmux.sva batch.tcl read_file -top pin_mux check_fv results.txt sva_checker 属性类型 assert spi0_csn0 仅映射合法 pad assert_spi0_csn0_pad_* assume I2C/QSPI 组合法约束 assume_i2c / assume_qspi0 cover 可达复用场景 cov_spi0_csn0_pad2/15 入口：cd PINMUX/FPV/solution && vcf -verdi -f batch.tcl