一个有意思的FPGA的CDC工具

今天有家厂商来公司介绍这个东西，有点意思。他除了对CDC的问题做检查，还可以进行问题的修正，自动产生vhdl，verilog代码，仿真模型，约束条件等等，挺有意思的。以色列公司的工具。
cdc这一块我们还没有使用类似的工具，都是人工自己做，不知道各位坛友用什么软件处理FPGA里面CDC的东西。
附上这个工具的几个截图：

这个是做CDC检查，可以告知平均故障时间，检查CDC的同步是否稳定等等。居然还有一个完整的lint功能。

可以来浏览CDC的问题。

CDC问题的修正，可以选择合适的CDC同步电路，导出源代码，模型等等东西。

这个使他们demo版本，只有几种同步电路可以选择。

很牛B的样子呀，在哪能下啊

看来是需要花钱的啊

我们还没花钱，准备试用。

不错的东西，

GUI做的挺fancy的~
不知道capacity怎麼樣..

看着不错啊，不知道优化效果如何

平均无故障时间（MTBF），这个工具太逗了，MTBF有自己的计算公式，公式中的那些变量它怎么能得到。

是可以设置的。用起来还可以

这个是上海迪真代理的vchecker

迪真代理的?