Xinhuazhang GalaxEC debuts: from system level to front-end and back-end, realizing digital full-process equivalence verification
The valuable thing about Xinhuazhang's equivalence verification system is that it has actually implemented many practical functional innovations from the perspective of user needs.
Specifically, the first is comprehensive, covering system-level, front-end, and back-end equivalence verification needs in one stop, and has all the core functions of various mainstream equivalence verification tools; the second is fast, with the help of parallelization The algorithm and self-developed solution engine library can achieve nearly a hundred times efficiency improvement in some fields; third, the flexible and rich open interface design allows users to conveniently and flexibly access the underlying database of the tool and customize the verification and debugging process independently.
On September 18, 2023, at the first IDAS Design Automation Industry Summit (Intelligent Design Automation Summit), for thousands of upstream and downstream EDA industry enterprises and related professionals present, the industry's leading system-level verification EDA solution provider Chip Huazhang, grandly launches
GalaxEC, the first self-developed digital full-process equivalence verification system. With the release of GalaxEC,
Xinhuazhang's independent EDA tools have completed complete coverage of the entire digital verification process, further improved its rich system-level verification product portfolio, and can provide more comprehensive agile verification services for chip design and system-level users.
GalaxEC already has all the core functions of various mainstream equivalence verification tools. The service scenarios run through all stages of digital chip design from system level to front-end and back-end design. It can meet users' full-process equivalence verification needs in one stop, avoiding the need for Multi-tool switching costs help engineers ensure consistency between different levels of design, support ergodic verification, discover deep-level critical design errors, ensure the correctness of the design and achieve formal sign-off.
Facing the next-generation EDA 2.0 goal, GalaxEC uses a new generation of formal solving algorithms and parallel computing technology to create a high-performance solving engine that supports native cloud deployment and provides a rich and complete user open interface to better meet agile verification and design needs.