如何修复Xilinx Vivado运行行为仿真时出现的[Common 17-1293]报错

报错解决步骤 #

你遇到的[Common 17-1293]报错和Verilog代码无关，属于Vivado工程锁定或路径兼容性问题，按以下顺序操作即可解决：

• 关闭所有Vivado窗口，在任务管理器中结束全部vivado相关的后台进程，前次Vivado异常退出会持有目标目录的应用层锁，常规的系统权限检查无法识别这类锁定
• 进入工程根目录D:/Deepan/Text Books/internship/test/，删除所有自动生成的工程文件夹和锁文件：test.cache、test.hw、test.ip_user_files、test.runs、test.sim以及后缀为.xpr.lock的锁文件
• 调整工程存储路径，Vivado对包含空格、中文、特殊字符的路径兼容性极差，你当前路径中的Text Books存在空格，建议将工程整体迁移到纯英文无特殊字符的路径下，例如D:/Deepan/internship/test/
• 重启Vivado，重新创建设计工程，导入你现有的设计文件和测试平台文件，再运行行为仿真即可正常执行。

代码校验说明 #

你提供的Mealy序列检测状态机代码和测试平台代码语法完全符合Verilog规范，逻辑可正常运行，解决工程路径问题后无需修改代码即可完成仿真。

内容的提问来源于stack exchange，提问作者Kruti Deepan Panda