NOTE: This data is refreshed every 3 months. For faster refreshes talk to our Sales Team about the HG Platform!

Synopsys VC Formal

Synopsys VC Formal is a comprehensive verification and debugging solution designed for semiconductor sectors. It enables users to access outcome to verify SystemVerilog Assertion (SVA) properties, manage property browsing, grouping and filtering, accomplish custom optimizations and engines for datapath verification (ALU, FPU, DSP) using transaction-level equ... show more

COMPANIES WE TRACK USING Synopsys VC Formal
105
+20.45%
12 MONTHS CHANGE
Create a Target Segment

Companies Currently Using Synopsys VC Formal

Download CSV Sample (25 companies)
Company NameWebsiteHQ AddressCityStateZipCountryTop Level IndustrySub Level IndustryEmployeesRevenue (USD)PhoneLast Verified
AMD amd.com 2485 Augustine Dr Santa Clara CA 95054 US Manufacturing Semiconductor & Semiconductor Equipment Above 10,000 Over $1,000,000,000 (408) 749-4000 3 months ago
Qualcomm qualcomm.com 5775 Morehouse Dr San Diego CA 92121 US Manufacturing Telecommunication Equipment Above 10,000 Over $1,000,000,000 (858) 587-1121 3 months ago
NVIDIA nvidia.com 2788 San Tomas Expressway Santa Clara CA 95051 US Technical Computer Hardware Manufacturers Above 10,000 Over $1,000,000,000 (408) 486-2000 3 months ago
Google google.com 1600 Amphitheatre Pkwy Mountain View CA 94043 US Technical Software Manufacturers Above 10,000 Over $1,000,000,000 (650) 253-0000 3 months ago
Tenstorrent tenstorrent.com 150 Ferrand Dr suite 901 Toronto ON M3C 3E5 CA Technical Computer Hardware Manufacturers Less than 10 From $10,000,000 to $49,999,999 (416) 918-8985 3 months ago
Cisco cisco.com 300 E. Tasman Dr San Jose CA 95134 US Technical Computer Hardware Manufacturers Above 10,000 Over $1,000,000,000 (408) 526-4000 3 months ago

Personalize. Target. Analyze.

Discover companies using Synopsys VC Formal by locations, employees, revenue, industries, and more. Compare your target to your CRM or marketing platform. Create campaigns & analyze your results.

Contact Us to view all 105 companies