当电路复杂度达到一定规模后，传统的仿真验证方法已无法覆盖整个状态空间，从而无法保证像微处理器运算电路这类复杂设计的正确性。
As the increase of circuit complexity, traditional simulation method has been unable to cover the total state space and the correctness of microprocessor arithmetic circuit cannot be ensured.
采用直接和随机测试方法，对浮点运算单元进行了测试和验证，代码覆盖率和功能覆盖率都达到了100%。
Tests and verifies the floating point unit in direct and random methods, with 100% functional coverage and code coverage.
在这个表达式中，加法运算的结果被保存到与units_sold相关联的存储单元中，而units_sold之前的值则被覆盖。
In this expression, the result of the addition is stored in the storage associated with units_sold; the previous value in units_sold is overwritten.
应用推荐