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.

The founding team of the company mastered the core technology of integrated circuit design automation, and graduated from undergraduate universities in China (such as Tsinghua University) and have a Ph.D. He has worked in Silicon Valley's top IC design automation and Fortune 500 chip companies, and has more than 15 years of first-line product development, management and application experience. He was also invited to participate in the review and organization of design automation conferences (such as DAC, ICCAD, CAV), and published more than 30 papers and monographs on academic books.