高层次设计论文

基于吴方法的高层次模型检验方法研究
论文摘要随着数字IC设计规模的增大和功能复杂性的提高,设计验证成为IC设计流程中越来越重要的方面。传统的模拟验证方法无法满足复杂IC设计带来的巨大的验证需求。基于此,形式验证方...