With the rapid development of the chip design industry, the industry has placed higher demands on chip verification. Dynamic simulation, formal verification, prototyping and hardware acceleration are some of the most common means of functional verification.
Among them, formal verification has the following three advantages:
However, formal verification requires the use of assertions (SystemVerilog Assertion) and engineers must be familiar with the syntax and the internal engine of the tool, which places high demands on the threshold of use and maturity of development skills, resulting in universities and design houses alike being deterred by a lack of experience with formal verification tools, although they would like to use them to greatly accelerate verification convergence. The lack of experience has stopped them from doing so.
As the world's first open-source formal verification tool, "EpicFv" can automatically perform syntax parsing, design synthesis and assertion parsing when the user inputs the RTL design and SystemVerilog assertions to describe the design specification, and automatically dispatch the engine to solve the assertions based on distributed computing theory to accelerate verification. This reduces the threshold for the use of formal verification tools by automatically scheduling the engine to solve assertions based on distributed computing theory and accelerating verification convergence.
■ The industry's first open source formal verification tool
■ Distributed/parallel computing to accelerate validation convergence
■ Automatic scheduling engine to reduce the threshold of using formal verification tools
■ Professional technical support in ease of use, usability and stability
此处可能存在不合适展示的内容,页面不予展示。您可通过相关编辑功能自查并修改。
如您确认内容无涉及 不当用语 / 纯广告导流 / 暴力 / 低俗色情 / 侵权 / 盗版 / 虚假 / 无价值内容或违法国家有关法律法规的内容,可点击提交进行申诉,我们将尽快为您处理。