http://vmcc.vicp.net:9090/wiki/ 2026-04-17T23:42:33+00:00 http://vmcc.vicp.net:9090/wiki/ http://vmcc.vicp.net:9090/wiki/lib/tpl/dokuwiki/images/favicon.ico text/html 2025-04-03T10:17:49+00:00 Anonymous (anonymous@undisclosed.example.com) http://vmcc.vicp.net:9090/wiki/doku.php?id=edastudy:vc_formal:cc&rev=1743646669&do=diff 1. cc 1.1 vacuous问题 当en信号 tie0时，如果设置csv_enable设置为en， 因为1有效才是enable,但是RTL将是固接为0， 这时候会报vacuous问题。 当en信号 tie1时，如果设置csv_enable设置为~en， 因为0有效才是enable,但是RTL将是固接为1， 这时候会报vacuous问题。