"author:ssql2014" matching MCP servers:

Provides programmatic access to Arcas OnlineEDA platform for electronic design automation, enabling formal verification, equivalence checking, power analysis, security verification, and FPGA design through natural language and automated workflows.

Provides structured access to semiconductor industry platforms to search for IP core suppliers, ASIC design services, and manufacturing resources. It enables users to estimate procurement costs, compare vendors, and query industry glossaries using natural language.