存储元素映射相关论文
随着集成电路规模越来越大,系统的功能日益复杂,功能验证已成为整个设计流程的瓶颈。对于大规模的时序电路,传统基于状态空间遍历的等......
为了提高验证效率和处理大规模电路的能力,提出了一种基于存储元素映射的层次化等价性检验方法,该方法将功能性和非功能性的映射方......