'''[http://www.synopsys.com%|%Synopsys]''' is one of the largest vendors of software for electronic design automation. ** Products Using Tcl ** [http://www.synopsys.com/Tools/Verification/AMSVerification/DesignAnalysis/Pages/ACE.aspx%|%ACE]: [http://www.synopsys.com/Solutions/LynxDesign/Pages/default.aspx%|%Lynx Design System]: [http://www.synopsys.com/Tools/Verification/AMSVerification/DesignAnalysis/Pages/SpiceCheck.aspx%|%SpiceCheck]: [http://www.synopsys.com/Tools/Manufacturing/MaskSynthesis/Pages/ProteusMetroKit.aspx%|%Proteus MetroKit]: [http://www.synopsys.com/Solutions/EndSolutions/GalaxyImplementation/Pages/Milkyway.aspx%|%Milkyway Database]: [http://www.synopsys.com/Community/Interoperability/Pages/TapinSDC.aspx%|%SDC parser]: open-source [http://www.synopsys.com/Tools/Verification/FunctionalVerification/Pages/VCS.aspx%|%VCS]: [http://www.synopsys.com/Tools/Verification/FunctionalVerification/Pages/VCS.aspx%|%VCS]: [http://www.synopsys.com/IP/ProcessorIP/asip/ip-mp-designer/Pages/ip-designer.aspx%|%IP-Designer]: <> company