leda;vcs;pt;synplify工具标准求助

最近单位一直让学习新思的一些工具，boss让给他说说leda,vcs,synplify，pt这些工具都符合什么标准，他本身以前弄软件比较多，然后就问我比如leda是做规则检查的，那leda这个规则检查有什么国际标准之类的么，以说明这些工具是有依据的，是达到标准之类的要求的。
给我问住了，我说我去了解下。
我只觉得这些工具都是辅助我们ASIC/FPGA设计使用，提供便利和帮助，上网查也没查出什么来，请了解的说说啊，这些工具设计是遵循了一类标准吗?看ds和ug也没看出什么来~求助啊。

一切尽在UG

    谢谢啊，UG我也扫了下，确实也提到所支持的vhdl,verilog,system verilog 等一些ieee标准，我也在想工具就是依据这些标准建立的，和做软件的同事谈论这个的时候，也会说那你的工具比如实现什么功能，那这个功能上应该有规范吧，要不工具创建出来显得没有依据，觉得不可能。 我也烦的很 我就是用工具，还让我知道工具本身符合什么标准，规范

国企?

谢谢。

leda 是做代码设计规则检查
vcs 是做仿真
simplify 是 fpga做设计综合

有没有好用的leda版本，64位的?

   谢谢 解释

。

。