数字IC的设计流程，如下图所示：其中讲到形式验证的时候就懵了。当时老师说，其实我也记不太清了，就从网上找了一下：形式验证（Formal Verification）是一种IC设计的验证方法，它的主要思想是通过使用数学证明的方式来验证一个设计的功能是否正确。形式验证可以分为三大类：等价性检查（Equivalence Checking）、形式模型检查（Formal Model Checking）（也被称
从事IC验证这份工作，我个人觉得应该具备以下几点基本技能： 1、验证知识：如果一个验证人员连最基本的验证方面的知识都不知识的话，应该谈不上是一个验证人员，打酱油的吧。一般地，一谈起验证知识，大家都会想到什么超级无敌牛B高深的验证方法学问题。一提起这个问题，所有的人都蒙了，包括我自己。我觉得做为一个新手，一个不是很牛的验证人员，先掌握一些基本的验证知识，不要自己拿验证方法论这么
CLK（define函数，fork_join并行）
1、频率验证：入口参数包含（目标时钟，频率、裕量和字符串），获取当前时钟上升沿的开始时间和上次时钟上升沿的时间（用$realtime），做差，判断差值是否在目标频率0.99~目标频率1.01之间。fork join_any内部有2到3个while死循环。
2、相位验证：入口参数包含（目标时钟，源时钟，裕量，字符串），获取clk1上升沿的时间，获
原创
2024-04-22 09:57:02
155阅读
# Python在IC验证中的应用
随着集成电路（IC）技术的飞速发展，验证其功能和性能变得越来越重要。由于传统验证方法的局限性，越来越多的工程师开始转向使用编程语言和自动化工具。Python作为一种灵活、易于学习的编程语言，在IC验证中逐步得到了广泛应用。本文将探讨Python在IC验证中的应用，并提供一些示例代码，帮助读者更好地理解这一过程。
## IC验证的概念
IC验证是确保集成电路
验证计划是验证策略的更具体实施计划。验证策略是在高层次描述对验证的整体规划(目标制定、时间安排、工作流程、验证方法学、版本管理、总体覆盖率进度等)和对RTL进行哪些层面测试，包括UT/IT/ST/FPGA/Emulation/Formal等。验证策略不会涉及验证的详细计划，验证计划就是对验证策略进一步详细地阐述，包括详细时间安排、人力需求、TB结构、配置、提取Verification featur
# Java验证IC
在现代社会中，我们经常需要使用身份证（IC）来进行身份验证。在Java编程中，有时也需要对IC进行验证，以确保输入的身份证号码符合规范。本文将介绍如何使用Java编程语言对IC进行验证，并提供相应的代码示例。
## IC验证规则
在中国，身份证号码（IC）是由18位数字和一个校验位组成的。校验位的计算方法如下：
- 将身份证号码前17位数字分别乘以对应的系数
- 将乘积
原创
2024-03-08 03:32:07
32阅读
一份代码，在写完之后，一定要再经过一次或多次整理和打磨，才能算完成的；一份代码，一定要把其有效代码行，精简、锤炼到最少、最短、最有效，才能算完成的。 下面这些问题和回答是忘记是在哪里看到的了，参考夏晶的文章，和我自己的验证经验，做了补充，作为日后学习的参考。Q：验证的目的？A：这也是发现Bug，发现所有的Bug，或者证明没有Bug（转自夏晶的帖子），无论任何验证语言、任何验证环境、任何验
震惊，这篇文章的阅读量竟然远远超过我写的其他很多好文章，可见现在Python的学习有多么火热了。因为是早期写的文章，质量很一般，看到这么多访问着实惶恐，现在本人主要致力于前端学习，但是Python作为带我入门的语言，自然还是十分喜欢的， 随着越学越多，对于语言风格其实有了更深的认识，推荐大家不要局限于一种语言的设计风格，如果真的爱，请博采众长，以集大成。下面是原文，基本没有修改过，小白看
转载
2023-09-26 17:06:12
196阅读
数字前端后端的区别、以及流程简介
前端设计（也称逻辑设计）和后端设计（也称物理设计）并没有统一严格的界限，涉及到与工艺有关的设计就是后端设计。个人理解是：数字前端以设计架构为起点，以生成可以布局布线的网表为终点；是用设计的电路实现想法；主要包括：基本的RTL编程和仿真，前端设计还可以包括IC系统设计、验证(verification)、综合、STA、逻辑等值验证 (equivalence
Python最大的优点之一就是语法简洁，好的代码就像伪代码一样，干净、整洁、一目了然。要写出 Pythonic（优雅的、地道的、整洁的）代码，需要多看多学大牛们写的代码，github 上有很多非常优秀的源代码值得阅读，比如：requests、flask、tornado，下面列举一些常见的Pythonic写法。0. 程序必须先让人读懂，然后才能让计算机执行。“Programs must be wri
转载
2023-12-19 17:26:25
133阅读
介绍在我们开始探索如何写一个Pythonic对象之前，让我们先弄清楚这个术语的含义它不是关于PEP8和尊重其规则来编写漂亮的python代码；而是关于编写对象，最大限度地使用Python数据模型的概念，因此它们可以像Python标准库对象一样被自然地使用。其思想是将Python ADN注入到我们的用户定义对象中，使它们发生变异，并表现为本地Python对象为此，我们将实现一个向量类来表示多维向量。
转载
2024-06-09 00:59:09
0阅读
ASIC开发流程逻辑开发流程ASIC后端知识在ASIC设计过程中通常把需求分析、系统设计、模块设计编码、RTL仿真等过程称为前端设计；这些过程跟vendor无关，而把和vendor相关的综合功能验证、时序验证、Floorplan、电气功能、layout等称为后端设计。这里说的后端设计中一般有四个关键点：85%网表阶段，95%网表阶段，100%网表阶及signoff。逻辑设计流程之 V&V模
原创
2014-10-16 17:40:48
7756阅读
点赞
Python是一门很优雅的语言，有一些不同于C/C++的专有用法，使得python的编码变得简洁明了。先看看python中的八荣八耻：以动手实践为荣 , 以只看不练为耻 ; 以打印日志为荣 , 以单步跟踪为耻 ; 以空格缩进为荣 , 以制表缩进为耻 ; 以单元测试为荣
转载
2023-12-19 22:34:53
91阅读
Python最大的优点之一就是语法简洁，好的代码就像伪代码一样，干净、整洁、一目了然。
要写出 Pythonic（优雅的、地道的、整洁的）代码，需要多看多学大牛们写的代码，github 上有很多非常优秀的源代码值得阅读，比如：requests、flask、tornado，下面列举一些常见的Pythonic写法。0. 程序必须先让人读懂，然后才能让计算机执行。“Programs must
转载
2024-01-04 00:23:18
50阅读
DataFrame的iloc，ix和loc这三种切片方法有何不同吗？之前看过一些官方文档，但还是无法理解这三者之间的区别。例如，假设我们要获取DataFrame的前五行。这三者内部是如何实现的？求解释！df.loc[:5]df.ix[:5]df.iloc[:5]最佳回答iloc基于整数定位。因此，无论您的行标签是什么，您始终可以例如通过执行以下操作获得第一行df.iloc[0]或最后五行df.il
转载
2023-12-22 20:03:44
65阅读
从Java转到Python，阅读源码的时候发现了一些有趣的小用法，在这里总结一下。for和if的简化代码为：list1 = [1, 2, 3, 4, 5, 6, 7 ]
rs = ([r if r%2==0 else r+10 for r in list2])
print rs执行结果为：[11, 2, 13, 4, 15, 6, 17]代码里对for和if进行了简化，并对if进行后置这里的fo
转载
2023-10-04 13:55:48
305阅读
通过前两篇的了解，一起解决了为什么要用python（Why）以及怎么用python（How）的问题，在这个系列的最后一讲里，一起再来看看在IC设计的征途中里的案例和一些推荐案例一：大型文件高速比对IC设计里边主要处理的对象还是以文本为主，但是在某些特殊的情况下，文本文件非常巨大，譬如上G的文件。这个时候对文件的查验和比较都是比较麻烦的，尤其对于VIMer而言尤其是困难（由于VIM的设定，是需要将文
转载
2023-07-13 12:52:25
162阅读
学数字IC的同学都知道的经典问题。延时/时序，是数字电路的核心概念。时序约束，是保证门级电路正常工作的延迟约束，就好像高速公路上行驶的汽车，对其车速和安全车距的要求。速度过快，车距过近，就很容易发生撞车， 而速度过慢，车距过大，就容易造成拥堵。 所以，只有合适的速度和车距要求才能保证高速公路的安全和畅通。门级电路的原理类似，如果从前级寄存器到后级寄存器之间的数据路径，延迟过大，传输过慢，就可能造成
转载
2024-04-25 20:41:11
100阅读
C++里面缺少一些有用的框架比如说AOP和IOC等，AOP框架的实现在前面的博文中已介绍了，现在介绍IOC框架。IOC即控制反转，它的思想是由IOC容器来管理对象的生命周期、依赖关系等，从而使得应用程序的配置和依赖性规范与实际的应用程序代码分开。其中一个特点就是通过文本的配置文件进行应用程序组件间相互关系的配置，而不用重新修改并编译具体的代码。IOC不仅仅用来解除对象创建的耦合性，还可以使我们能通
转载
2023-07-05 12:57:42
78阅读
前端：spec（确定项目需求） system model（使用C/C++以及matlab等高级语言设置模型） RTL coding 形式验证/功能验证后端：逻辑综合（部分公司仍认为是前端，使用DC综合） DFT （design for test）（部分公司仍认为是前端） Auto P&R(自动布局布线,使用ICC(IC compile）） sign off（使用PT)原文链接：
