实验

实验1 #

使用上诉命令对DC实验综合出来的fifo进行形式验证 等到做完PR之后再次进行形式验证，确保逻辑一致