车规级输入输出多路复用器验证系统及方法

本发明涉及车规级输入输出多路复用器验证系统及方法，通过基于形式化验证工具，以结构化输入输出多路复用器的配置表驱动脚本程序自动生成形式化的断言文件，利用形式化验证工具自动穷举输入输出多路复用器的所有可能状态，实现对输入输出多路复用器的100%功能覆盖率并改善验证结果，使得输入输出多路复用器的验证效率相比于传统的UVM方法的验证效率提升10倍以上，满足高复杂度和高安全要求的车载芯片IO MUX的验证需求。