FPGA固件测试的问题

用FPGA用作控制，FPGA的固件都用VHDL写成。
现在针对MCU/CPU的C程序代码，有比较成熟的测试方法和测试工具（第三方测试软件）
不知道HDL写成的FPGA是否有类似的工具或测试方法？
请牛牛们指点一下

没理解错的话你写了个"mcu/cpu"吧
那你可以自己写一个解释器来解释你的firmware啊
好像比拿到fpga中跑只是单步调试方便点吧
再者就是修改fpga，加入debug接口重新综合

你理解的稍微有些偏差。
我举个例子，针对C编程，现在有很多安全规约，相当于ISO-C的一个子集，比如MISRA-C规范。检验的人就用这种规范对着C代码一条一条看，看是否有违背的地方。
也有一些第三方工具，用来检查C程序的规范性。此外，对每个C子函数，都对所有输入参量遍历一遍，然后看该函数的输出集是否有异常。
以上的测试思想对控制器是MCU/CPU、程序是用C代码（或其他可检代码）写的情况使用，现在的问题是控制器是个FPGA，FPGA的firmware是用VHDL写的，是否可以仿照上述需求对该
firmware进行测试