IC 仿真实践 SoC V1.1 · RISC-V 基础版 SoC V1.1 资料 pinmux_verification_environment.html

diagrams/pinmux_verification_environment.html

PINMUX 验证环境(FPV)

PINMUX/FPV/ · VC Formal · SVA · 无 UVM 动态仿真 Makefile

形式验证流程

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