Shanghai Arcas Microelectronics Technology Co. Ltd. was founded by senior electronic design automation (EDA) experts from Silicon Valley and is now located in Shanghai Zhangjiang Hi-Tech Park. Chengdu Arcas Microelectronics Technology Co. Ltd., its wholly owned subsidiary is located in Chengdu High-tech Park. The company's backbone has an average of more than 15 years of experience in the world's top EDA companies, and is the main researcher or manager of many well-known software tools in the industry.

The company's main business is R&d and consulting of integrated circuit design automation systems (EDA). Based on the latest EDA technology, the company is dedicated to serving the Chinese chip design industry in line with the needs of local users. Currently, the company has successfully launched two formal verification tools.

The company was founded in Silicon Valley in January 2016. In December 2017, the AVE automated verification tool software was launched (two logical verification products have been opened, and several pre-researches are in progress). In February 2018, he won the first round of financing and began to launch training and consulting services for the Asia-Pacific region. He landed in Chengdu High-tech Zone in March. In the future, Chengdu Headquarters and Silicon Valley Branch will jointly develop follow-up products to develop China/Asia and North America markets.

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.