看到了非常棒的思路。但也有很多美中不足的地方。我从电路角度提出几个问题 1 没有完整的电路验证,其实电路功能正确性很难保证的。高层次综合的正确性,需要通过验证来保证。目前主流工业界的方法: 动态仿真+形式验证的方法来保证正确性。 2 工业部署还是有点粗糙吧,如果想让这个高稳定的长久运行,必须考虑功能安全的问题。加额外的功能安全机制。如果发生单粒子这种软错误,订单损失太大了。估计接受不了。 3 上位机,软核实现延迟太大。为何不直接硬化继续FPGA电路一直走到底。高速流水线直接解决掉。延迟更优秀。
看到了非常棒的思路。但也有很多美中不足的地方。我从电路角度提出几个问题
1 没有完整的电路验证,其实电路功能正确性很难保证的。高层次综合的正确性,需要通过验证来保证。目前主流工业界的方法: 动态仿真+形式验证的方法来保证正确性。
2 工业部署还是有点粗糙吧,如果想让这个高稳定的长久运行,必须考虑功能安全的问题。加额外的功能安全机制。如果发生单粒子这种软错误,订单损失太大了。估计接受不了。
3 上位机,软核实现延迟太大。为何不直接硬化继续FPGA电路一直走到底。高速流水线直接解决掉。延迟更优秀。