因为无法了解到底层vcs的算法,所以笔者只能猜测,仿真器在VCS 2018.09,+ntb_solver_mode=1做约束时,直接抛弃掉了概率为0的解。STEP4: 更改编译选项 以下是编译时的命令行代码: vcs -R -sverilog +ntb_solver_mode=2 -l sim.log test.sv 采用相同的python脚本做后处理的结果: x=0, y=0 :