Several EDA new products released
In 2021, a number of EDA companies will release new products.
Core China Chapter ( XEPIC )
Xinhuazhang released four digital verification EDA products with independent intellectual property rights, as well as a smart V verification platform with a unified underlying framework, which not only realizes multi-tool collaboration, reduces the threshold for EDA use, but also improves the overall verification efficiency of the chip.
The FusionVerify Platform consists of five product series including logic simulation, formal verification, intelligent verification, FPGA prototype verification system and hardware emulation system, and three bases including intelligent compilation, intelligent debugging and intelligent verification cockpit . It has a unified debugging system, compilation system, intelligent segmentation technology, rich scene incentive sources, and unified cloud-native software architecture. It can integrate different tool technologies and provide customized comprehensive verification solutions for various designs and different scene requirements. The solution is to solve the compatibility challenges of point tools that are currently facing the industry, as well as the verification efficiency challenges caused by data fragmentation. The Smart V verification platform can effectively improve the verification efficiency and ease of use of the solution, and bring verification benefits that cannot be provided by some tools.
HuaPro - P1 high - performance FPGA prototype verification system, based on FPGA hardware and full-process software with independent intellectual property rights, can help SoC/ASIC chip customers achieve automatic synthesis, segmentation, optimization, wiring and debugging of design prototypes. Automatically realize the intelligent design process, effectively reduce the user's manual input, shorten the chip verification cycle, and provide a new generation of intelligent pre-silicon verification system with large capacity, high performance, automatic realization, debugging and high availability for system verification and software development.
GalaxSim - 1.0 , the leading digital simulator in China, uses a new software framework to provide multi-platform support, supports different processor computing platforms, such as X86, ARM, etc., and has been used in many domestic frameworks based on ARM platforms. Test passed. It can be combined with the general debugger and general coverage database of Xinhuazhang's Qiongjing GalaxPSS intelligent verification system, and the Qiongding emulator can efficiently cooperate with other verification tools and provide a unified data interface. It supports IEEE1800 SystemVerilog syntax, IEEE1364 Verilog syntax, and IEEE1800.2 UVM methodology, and has reached the level of mainstream commercial simulators in terms of semantic analysis, simulation behavior, and timing models.
GalaxPSS is a new generation of intelligent verification system, based on the integration of Accellera PSS standard and advanced verification methodology, for current and future complex verification scenarios, automatically generate scenarios, reduce the experience of engineers manually writing scenarios, and generate more for the chip Efficient test scenarios and test incentives improve the coverage and completeness of verification scenarios. The code generated by PSS is portable, which can ensure that it is suitable for software simulation, hardware simulation, FPGA prototype verification, and even system verification, providing from single-platform verification to multi-platform interactive verification.
GalaxFV is the first scalable formal verification tool based on word-level modeling in the domestic EDA field . Expanding the interface, the model has reached the international advanced level. Equipped with a high-concurrency and high-performance solver, an intelligent scheduling algorithm engine, and a dedicated assertion library, it can make full use of computing power and improve parallel efficiency, while effectively improving ease of use and efficiency, lowering the threshold for formal verification to be applied to the industry. .
Guowei Sierxin ( S2C )
Released the architecture design solution " Genesis Craftsman ", providing a one - stop software and hardware collaborative modeling platform to help designers completely solve the problems that cannot be modeled. Quickly design high-performance, low-power product architectures, speed up time-to-market, and enhance product competitiveness.
Launched a cutting-edge technology innovation product in the field of prototyping: Xinshentong Logic Matrix LX2 . As an industry-leading enterprise-level high-density prototype verification solution, it has excellent performance in the two dimensions of "capacity" and "performance", meeting the verification requirements of cutting-edge 5G, AI, ML, GPU and other applications, accelerating system verification and software development, Reduce time to market.
Semitronix
Guangliwei released DataExp-General, which supports the import of various file types: .csv / .xls / .xlsx / .ad3 / .ad5 / .stdf / .std; it can meet the needs of engineers for fast and flexible analysis, and based on semiconductor data Features, add a unique analysis module, visualize multi-dimensional data, and quickly mine value from massive data.
Hejian Industrial Soft ( UNIVISTA )
Commercial-grade simulator product UniVista Simulator: It adopts advanced compilation and performance enhancement technology to optimize compilation time and running speed, and provides efficient and reliable digital verification simulation for various types of customer designs.
FPGA prototype verification system ( UniVista Advanced Prototyping System ): with high performance, large capacity, diversified IO support, built-in 8938K x 4 logic resources, 6500+ IO resources, typical SoC design running performance can reach 20-50Mhz, and has 144 channels High-speed GTY transceiver, up to 25Gbps, scalable multi-channel DDR memory speed up to 2133Mbps, supports multiple systems cascade, supports up to 20 sets of cascade, supporting runtime real-time control.
Integrated collaborative design ( UniVista Integrator ): It adopts the first system-level network connection checking algorithm to provide efficient graphics rendering and display, with excellent openness, ease of use, flexibility, expansibility, and integration. And support the easy import of design data, which can generate efficient and accurate inspection reports.
One-stop electronic design data management platform ( UniVistaEDMPro ): including RMS (Repository Management System), EDMS (Electronic Design Process Management and Quality Review System), ERC (Electronic Design Check Tool) and PDMCon (PDM/PLM System Integration Solution) and other applications.
