做后端需要用到的工具

做后端需要用到的工具，在Synopsys阵营里面除了Design Compiler, IC Compiler, Primetime和Formality以外还有什么?谢谢！

encounter

starRC

hercules

貌似忘了验证工具，calibre呀

DFT的话，还需要DFT Compiler， TetraMax

物理验证如果也用Synopsys的工具的话，IC Validator