Shanghai Arcas Microelectronics Technology Co., Ltd. was established in 2020 in Shanghai Zhangjiang Hi-Tech Park by seasoned Electronic Design Automation (EDA) experts who returned from Silicon Valley. With a subsidiary, Chengdu Arcas Microelectronics Technology Co., Ltd., founded in 2018 in Chengdu High-Tech Zone.

the company brings together top talents with years of R&D experience from internationally renowned EDA and chip design companies. Leveraging formal verification methods, the company provides verification tools and consulting services for logic chip design and industrial control software. Benefiting from profound technical expertise and extensive product practice in formal verification, the company has launched three high-performance commercial core verification tools (Formal MC, Formal CEC, Formal HiLEC) and other related verification tools.

serving complex chip design and general design workflows. The company's products have been adopted and highly praised by leading clients, including top national communications, high-performance computing, and AI chip enterprises. Capitalizing on the increasing complexity of IC design and the growing diversity of verification methodologies, the company is committed to becoming a leading provider of formal verification technology development and services in China.

As a former core R&D staff of top design automation and chip companies, the team has the industry's cutting-edge core technology.

Advantage 1 - formal functional verification.

Advantage 2 - Equivalence function verification.

Advantage 3 - Chip and software information security.

Advantage 4 - Low energy design optimization and verification.

Advantage 5 - Programmable Logic (FPGA) verification.