ARCAS METech.Ltd is established in 2018 and set up the new headquarter in shanghai in 2020. We provides digital front-end EDA software which focuses on formal technology. AveMC is a formal verification tool for chip design using Model Checking technique. It is a world wide unique tool in terms of coverage analysis and vacuity checking. AveCEC is another logic equivalence check tool which is widely used after RTL synthesis flow.
ARCAS has 2 approved Chinese patents and 12 approved software copyrights. Other 10 Chinese invention patents are under application.