下载一种对组合逻辑电路等价验证的分级方法的技术资料

文档序号:25271513

温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。

本发明属于芯片设计领域,公开了一种对组合逻辑电路等价验证的分级方法,包括以下步骤:S1、对优化前后的芯片设计进行触发器配对;S2、对配对后的触发器的跳转逻辑电路进行分级,所述分级包括:所述跳转逻辑电路的输入信号级数为0;所述跳转逻辑电路中任...
该专利属于成都奥卡思微电科技有限公司所有,仅供学习研究参考,未经过成都奥卡思微电科技有限公司授权不得商用。

详细技术文档下载地址

温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。