lec(logic equivalence check)--cadence 等价性检查工具理解

2024-06-16 09:08

本文主要是介绍lec(logic equivalence check)--cadence 等价性检查工具理解,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

文章目录

  • 1. lec是独立的,不基于任何指定的综合工具。
  • key point mapping
    • ummapped points有三类
  • formal functional comparison algorithms
    • 两种comparison方式
  • 2. setup mode 和 lec mode
  • 3. blackbox
    • set
    • report
  • 4. unreachable key points
    • 设置选项,尽量避免unreachable报告,因为很多情况都是不需要检查逻辑等价性的。
  • 5. HDL rule
  • 6. 工程debug经验
  • 补充(genus15.20.000版本)
    • genus有模板脚本
    • genus官方文档里推荐两步式lec
  • 这篇ppt不错【debug方法参考111~120页码】

1. lec是独立的,不基于任何指定的综合工具。

key point mapping

ummapped points有三类

key point是各个module的输入输出端口、DFF、blackbox等关键点,用于lec检查。

  • extra unmapped points;只存在一种设计中,要么golden,要么revised。
  • unreachable unmapped points;无法找到一个可观察点,比如没有功能意义的flop端口。
  • not-mapped unmapped key points;一般是因为name rule导致的RTL与netlist无法映射成功。(因为map的方式,默认情况,首先是利用name映射,如果不成功就利用function映射)

formal functional comparison algorithms

两种comparison方式

  • hierachical(gold或者revised,有1个RTL版本的话,适合hierachical)
  • flattened(一般用于两个门级设计的比较。)

2. setup mode 和 lec mode

3. blackbox

set

  • 例如ram、模拟ip等,设置为黑盒子。不检查内部的逻辑等价性。
add notranslate module module_name -library -both
  • 如果想对某个特定module设置为黑盒子。
    建议去掉module描述段,改为空module,只定义input、output端口,内容为空。这样做完善,因为不去掉module描述内容,那么output端口的逻辑值可能会被固定,影响lec的验证精度。
    利用命令,可以生成一个空module,但是端口方向需要手动修改。
write design <filename> -bbox [-gold | -revised]

report

report black box

4. unreachable key points

设置选项,尽量避免unreachable报告,因为很多情况都是不需要检查逻辑等价性的。

比如大多数unreachable的情况,都是spare flops,就是空闲的触发器。没实际功能意义的触发器。

5. HDL rule

这个设置很重要,直接影响lec对门级网表进行design analysis,elaboration,RTL construction过程。如果设置不准确,会影响lec对门级网表的识别,导致出现mismatch的错误。



6. 工程debug经验

  • 不要使用lec编写脚本;而是推荐用dofile作为lec配置脚本。
  • 可以设置session;
  • RC(RTL Compiler)支持LEC更好一些。因为RC有命令write_do_lec。但DC+LEC的流程,user guide也有介绍,是可以解决的。
  • 不等价原因一
    lec设置的时候,对dft/test_mode没有设置常值;这种情况是因为RTL没有DFT,netlist有DFT,所以无法等价,必须去掉DFT相关的逻辑等价性对比检查。
  • 不等价原因二
    一般错误,通过gui界面的diagnosis、不等价点;再通过RTL去分析源代码,很容易debug。
  • 不等价原因三
    name rule不一致导致unmapped point,从而产生不等价的结果。注意报告的错误点,其层次路径是否特殊,比如有些generate块,实例名称带[]。这样的RTL和netlist做等价性检查会出不等价的错误。修改lec的name rule就可以解决。
    如果是RTL/netlist做lec,那么name rule推荐:
    • DC综合+LEC,那么lec的name rule要保持与DC的name rule一致;
    • RC综合+LEC,那么lec的name rule要保持与RC的name rule一致;
    • 综合和lec里的uniquify命令(命名唯一化),也要保持一致。如果lec和综合工具的name rule一致,并且uniquify的话,按道理讲,RTL与netlist的module名称、instance名称都应该对应起来。

具体解决实例如下图所示:
这里写图片描述
这里写图片描述

  • 如上方案都解决不了,可以检查代码版本、比较综合的中间网表版本、比较下一层次的网表等方法。
    其中,比较综合的中间网表版本,也是一种常见方法。因为综合的中间网表,与RTL和最终网表,map会更容易;lec更容易检查。RTL与综合的中间网表做lec;最终网表与综合的中间网表做lec;两步骤后,可以认为RTL与最终网表是等价的。
    比如:DC/RC综合netlist和RTL,做lec检查。
    RC和lec属于一家公司,所以切合度很高,容易PASS。
    但是DC和lec,有可能会出现问题。这时,可以利用综合的中间版本网表,作为桥梁。也许会有意想不到的debug效果。(Conformal_User.pdf里有专门的DC综合与lec的流程介绍)

参考文档:

  • Conformal_User.pdf
  • Conformal_Ref .pdf
  • ConformalHDL_Ref.pdf
  • cadence LEC_basic.pdf(cadence的PPT,360云盘里)

补充(genus15.20.000版本)

genus有模板脚本

参考
Cadence Genus userguide阅读笔记 - 个人笔记:not for everyone - 博客频道 - CSDN.NET
http://blog.csdn.net/u011729865/article/details/53912787

genus官方文档里推荐两步式lec

利用genus模板,在综合过程中,会产生两个lec脚本文件(相关的genus命令是write_hdlwrite_do_lec)。

  1. rtl2intermediate.lec.do
  2. intermediate2final.lec.do
    分别对应rtl与map后的网表、map后的网表与综合优化后的最终网表。

这篇ppt不错【debug方法参考111~120页码】

http://www.doc88.com/p-9703790400188.html

debug步骤:

  1. unmapped一定要解决;
  2. 利用电路视图,显示反标的值,很好追。我记得,lec不能追到根源点,formality能追到根源点,不知道是不是这样,反正formality追到根源点的思路,更适合我,很好用。

这篇关于lec(logic equivalence check)--cadence 等价性检查工具理解的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!


原文地址:
本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.chinasem.cn/article/1066037

相关文章

Python办公自动化实战之打造智能邮件发送工具

《Python办公自动化实战之打造智能邮件发送工具》在数字化办公场景中,邮件自动化是提升工作效率的关键技能,本文将演示如何使用Python的smtplib和email库构建一个支持图文混排,多附件,多... 目录前言一、基础配置:搭建邮件发送框架1.1 邮箱服务准备1.2 核心库导入1.3 基础发送函数二、

基于Python实现一个图片拆分工具

《基于Python实现一个图片拆分工具》这篇文章主要为大家详细介绍了如何基于Python实现一个图片拆分工具,可以根据需要的行数和列数进行拆分,感兴趣的小伙伴可以跟随小编一起学习一下... 简单介绍先自己选择输入的图片,默认是输出到项目文件夹中,可以自己选择其他的文件夹,选择需要拆分的行数和列数,可以通过

Python使用pip工具实现包自动更新的多种方法

《Python使用pip工具实现包自动更新的多种方法》本文深入探讨了使用Python的pip工具实现包自动更新的各种方法和技术,我们将从基础概念开始,逐步介绍手动更新方法、自动化脚本编写、结合CI/C... 目录1. 背景介绍1.1 目的和范围1.2 预期读者1.3 文档结构概述1.4 术语表1.4.1 核

Python使用OpenCV实现获取视频时长的小工具

《Python使用OpenCV实现获取视频时长的小工具》在处理视频数据时,获取视频的时长是一项常见且基础的需求,本文将详细介绍如何使用Python和OpenCV获取视频时长,并对每一行代码进行深入解析... 目录一、代码实现二、代码解析1. 导入 OpenCV 库2. 定义获取视频时长的函数3. 打开视频文

Linux中压缩、网络传输与系统监控工具的使用完整指南

《Linux中压缩、网络传输与系统监控工具的使用完整指南》在Linux系统管理中,压缩与传输工具是数据备份和远程协作的桥梁,而系统监控工具则是保障服务器稳定运行的眼睛,下面小编就来和大家详细介绍一下它... 目录引言一、压缩与解压:数据存储与传输的优化核心1. zip/unzip:通用压缩格式的便捷操作2.

从原理到实战深入理解Java 断言assert

《从原理到实战深入理解Java断言assert》本文深入解析Java断言机制,涵盖语法、工作原理、启用方式及与异常的区别,推荐用于开发阶段的条件检查与状态验证,并强调生产环境应使用参数验证工具类替代... 目录深入理解 Java 断言(assert):从原理到实战引言:为什么需要断言?一、断言基础1.1 语

sqlite3 命令行工具使用指南

《sqlite3命令行工具使用指南》本文系统介绍sqlite3CLI的启动、数据库操作、元数据查询、数据导入导出及输出格式化命令,涵盖文件管理、备份恢复、性能统计等实用功能,并说明命令分类、SQL语... 目录一、启动与退出二、数据库与文件操作三、元数据查询四、数据操作与导入导出五、查询输出格式化六、实用功

Linux如何快速检查服务器的硬件配置和性能指标

《Linux如何快速检查服务器的硬件配置和性能指标》在运维和开发工作中,我们经常需要快速检查Linux服务器的硬件配置和性能指标,本文将以CentOS为例,介绍如何通过命令行快速获取这些关键信息,... 目录引言一、查询CPU核心数编程(几C?)1. 使用 nproc(最简单)2. 使用 lscpu(详细信

基于Python开发Windows屏幕控制工具

《基于Python开发Windows屏幕控制工具》在数字化办公时代,屏幕管理已成为提升工作效率和保护眼睛健康的重要环节,本文将分享一个基于Python和PySide6开发的Windows屏幕控制工具,... 目录概述功能亮点界面展示实现步骤详解1. 环境准备2. 亮度控制模块3. 息屏功能实现4. 息屏时间

SQLite3命令行工具最佳实践指南

《SQLite3命令行工具最佳实践指南》SQLite3是轻量级嵌入式数据库,无需服务器支持,具备ACID事务与跨平台特性,适用于小型项目和学习,sqlite3.exe作为命令行工具,支持SQL执行、数... 目录1. SQLite3简介和特点2. sqlite3.exe使用概述2.1 sqlite3.exe