从事IC验证这份工作，我个人觉得应该具备以下几点基本技能： 1、验证知识：如果一个验证人员连最基本的验证方面的知识都不知识的话，应该谈不上是一个验证人员，打酱油的吧。一般地，一谈起验证知识，大家都会想到什么超级无敌牛B高深的验证方法学问题。一提起这个问题，所有的人都蒙了，包括我自己。我觉得做为一个新手，一个不是很牛的验证人员，先掌握一些基本的验证知识，不要自己拿验证方法论这么
# Python在IC验证中的应用
随着集成电路（IC）技术的飞速发展，验证其功能和性能变得越来越重要。由于传统验证方法的局限性，越来越多的工程师开始转向使用编程语言和自动化工具。Python作为一种灵活、易于学习的编程语言，在IC验证中逐步得到了广泛应用。本文将探讨Python在IC验证中的应用，并提供一些示例代码，帮助读者更好地理解这一过程。
## IC验证的概念
IC验证是确保集成电路
数字IC的设计流程，如下图所示：其中讲到形式验证的时候就懵了。当时老师说，其实我也记不太清了，就从网上找了一下：形式验证（Formal Verification）是一种IC设计的验证方法，它的主要思想是通过使用数学证明的方式来验证一个设计的功能是否正确。形式验证可以分为三大类：等价性检查（Equivalence Checking）、形式模型检查（Formal Model Checking）（也被称
震惊，这篇文章的阅读量竟然远远超过我写的其他很多好文章，可见现在Python的学习有多么火热了。因为是早期写的文章，质量很一般，看到这么多访问着实惶恐，现在本人主要致力于前端学习，但是Python作为带我入门的语言，自然还是十分喜欢的， 随着越学越多，对于语言风格其实有了更深的认识，推荐大家不要局限于一种语言的设计风格，如果真的爱，请博采众长，以集大成。下面是原文，基本没有修改过，小白看
转载
2023-09-26 17:06:12
196阅读
Python最大的优点之一就是语法简洁，好的代码就像伪代码一样，干净、整洁、一目了然。要写出 Pythonic（优雅的、地道的、整洁的）代码，需要多看多学大牛们写的代码，github 上有很多非常优秀的源代码值得阅读，比如：requests、flask、tornado，下面列举一些常见的Pythonic写法。0. 程序必须先让人读懂，然后才能让计算机执行。“Programs must be wri
转载
2023-12-19 17:26:25
133阅读
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阅读
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（Why）以及怎么用python（How）的问题，在这个系列的最后一讲里，一起再来看看在IC设计的征途中里的案例和一些推荐案例一：大型文件高速比对IC设计里边主要处理的对象还是以文本为主，但是在某些特殊的情况下，文本文件非常巨大，譬如上G的文件。这个时候对文件的查验和比较都是比较麻烦的，尤其对于VIMer而言尤其是困难（由于VIM的设定，是需要将文
转载
2023-07-13 12:52:25
162阅读
从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阅读
验证计划是验证策略的更具体实施计划。验证策略是在高层次描述对验证的整体规划(目标制定、时间安排、工作流程、验证方法学、版本管理、总体覆盖率进度等)和对RTL进行哪些层面测试，包括UT/IT/ST/FPGA/Emulation/Formal等。验证策略不会涉及验证的详细计划，验证计划就是对验证策略进一步详细地阐述，包括详细时间安排、人力需求、TB结构、配置、提取Verification featur
建议1：Pythonic概念（美胜丑，显胜隐，简胜杂，平胜抖，疏胜密） print 'my name is {name}, age={age}'.format(name='hydo',age=18) //python最推荐的字符串格式化方法建议2：编写Pythonic代码 1.避免只用大小写来区分不同的对象：a=1,A='hydo'
转载
2024-06-25 21:06:53
49阅读
# Java验证IC
在现代社会中，我们经常需要使用身份证（IC）来进行身份验证。在Java编程中，有时也需要对IC进行验证，以确保输入的身份证号码符合规范。本文将介绍如何使用Java编程语言对IC进行验证，并提供相应的代码示例。
## IC验证规则
在中国，身份证号码（IC）是由18位数字和一个校验位组成的。校验位的计算方法如下：
- 将身份证号码前17位数字分别乘以对应的系数
- 将乘积
原创
2024-03-08 03:32:07
32阅读
一份代码，在写完之后，一定要再经过一次或多次整理和打磨，才能算完成的；一份代码，一定要把其有效代码行，精简、锤炼到最少、最短、最有效，才能算完成的。 下面这些问题和回答是忘记是在哪里看到的了，参考夏晶的文章，和我自己的验证经验，做了补充，作为日后学习的参考。Q：验证的目的？A：这也是发现Bug，发现所有的Bug，或者证明没有Bug（转自夏晶的帖子），无论任何验证语言、任何验证环境、任何验
前言单例模式是设计模式（Design Pattern）中最简单、最容易理解的一种，维基百科[1]的定义如下：
单例模式，也叫
单子模式，是一种常用的
软件设计模式。在应用这个模式时，单例对象的
类 "类 (计算机科学)")必须保证只有一个实例存在。许多时候整个系统只需要拥有一个的全局
对象，这样有利于我们协调系统整体的行为。
单例模式的主要优点是共享资源和减少资源
转载
2023-08-28 14:00:19
145阅读
数字前端后端的区别、以及流程简介
前端设计（也称逻辑设计）和后端设计（也称物理设计）并没有统一严格的界限，涉及到与工艺有关的设计就是后端设计。个人理解是：数字前端以设计架构为起点，以生成可以布局布线的网表为终点；是用设计的电路实现想法；主要包括：基本的RTL编程和仿真，前端设计还可以包括IC系统设计、验证(verification)、综合、STA、逻辑等值验证 (equivalence
介绍在我们开始探索如何写一个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阅读
点赞
在数字IC设计的应用中，Python凭借其简单易用的特性以及强大的库支持，逐渐成为了一种流行的选择。本博文将详细探讨Python在数字IC设计中的应用，涵盖背景描述、技术原理、架构解析、源码分析、应用场景以及总结与展望。
## 背景描述
随着集成电路设计的复杂性不断增加，传统的设计方法显得越来越不够高效。在这一过程中，各种工具和语言的协作变得至关重要。Python因其灵活性和广泛的应用领域，成
# Python在芯片验证中的应用
芯片验证是硬件设计过程中至关重要的一环。在这篇文章中，我们将深入探讨如何利用Python来实现芯片验证，并提供一系列步骤、代码示例及相关图示来帮助刚入行的开发者理解流程。
## 流程概述
芯片验证的主要流程如下表所示：
| 步骤 | 描述 |
|-------------|---------
