Johnny-Zhao's TechBlog

芯片验证是确保芯片设计正确性的关键环节。随着芯片复杂度的不断提升，验证工作在整个设计流程中所占比重越来越大，已成为芯片成功与否的决定性因素。这一讲我们将从基础概念入手，系统介绍验证的重要性、基本流程与方法、验证层次和评估指标，探讨实际项目流程中可能遇到的挑战与敏捷验证的应对思路，分析当前验证领域面临的困境以及使用高级语言进行验证的价值，并展望芯片验证众包这一未来解决方案。 接下来，你将了解： 芯片验证的基本概念：什么是芯片验证，为什么它对芯片设计至关重要，以及验证不足可能导致的严重后果。 验证流程与敏捷方法：完整的验证流程是如何开展的，敏捷验证的原则与实践，以及从计划到报告的完整验证步骤。 验证层次体系：从单元测试到系统测试的不同验证层次及其特点。 验证质量评估：如何通过功能正确性、代码/功能覆盖率、缺陷密度等关键指标来评估验证质量。 当前验证挑战与高级语言价值：验证面临的工作量、成本、人才等挑战，以及使用高级语言（如 Python）的优势及其对验证的推动作用。 芯片验证众包前景：作为应对挑战的创新方案，众包验证的可行性、技术路线，以及 Picker 等工具在其中的作用。 ...

by zjn 1.克隆一下源码 1git clone https://github.com/FeiLiu36/EOH/ 2.进入源码目录，创建虚拟环境 我家里的电脑没有装conda，所以我用的是Python自带的venv，如果你有conda，可以用conda创建虚拟环境。 1python -m venv eoh_env 然后激活虚拟环境: 1source eoh_env/Scripts/activate 记得虚拟环境的Python版本要>3.10 可以确定一下： 1python --version 3.安装依赖 12#基础依赖pip install numpy numba joblib 在这个目录下，直接 1pip install -r requirements.txt 也可以 4.配置llm参数 按照官网的指示，我选择了 示例1：旅行商问题的构造算法 123cd examples/tsp_constructpython runEoH.py 但是需要先去买api DeepSeek 开放平台 在runEoH里面改一下参数 理论上就可以跑 但是，可能会遇到timeout...

源码及文章：EoH/README_CN.md at main · FeiLiu36/EoH Evolution of Heuristic 启发式进化： Evolutionary Computation 进化计算： Automatic Heuristic Design 自动启发式设计 EoH 将自然语言中的启发式思维转化为可执行代码，通过优化搜索框架对思维与代码的持续演化，显著提升了高性能启发式算法的生成效率。 创新点： 双重演进：EoH 利用 LLM 不仅演进代码，更重要的是它还演进“思想”。LLM 首先根据现有的优秀启发式（包含思想和代码），生成一个改进的或全新的“思想” 。 思想指导代码：随后，LLM 再将这个新生成的“思想”作为指导，翻译成具体的“代码” 。 提示策略 (Prompt Strategies)：整个演进过程并非盲目进行，而是由一系列精心设计的提示策略来引导，分为两大类：探索（Exploration: E1, E2）和修改（Modification: M1, M2, M3），以确保生成更多样化和更有效的启发式算法 。 通过构建 thought 来表征启发式算法...

3.0019. 删除链表的倒数第 N 个结点 3.1 题目大意 描述：给定一个链表的头节点 head。 要求：删除链表的倒数第 n 个节点，并且返回链表的头节点。 说明： 要求使用一次遍历实现。 **链表中结点的数目为 **sz。 示例： 123456 输入：head = [1,2,3,4,5], n = 2 输出：[1,2,3,5]   输入：head = [1], n = 1 输出：[] 题解： 123456789101112131415161718192021 class Solution:     def removeNthFromEnd(self, head: Optional[ListNode], n: int) -> Optional[ListNode]:         slow, fast = head, head                  # fast 先走 n 步         for _ in range(n):             fast = fast.next                  # 如果 fast 走到 ...

2.0021. 合并两个有序链表 2.1 题目大意 描述：给定两个升序链表的头节点 list1 和 list2。 要求：将其合并为一个升序链表。 说明： 两个链表的节点数目范围是 。 list1 和 list2 均按 非递减顺序 排列 示例： 123456 输入：list1 = [1,2,4], list2 = [1,3,4] 输出：[1,1,2,3,4,4]   输入：list1 = [], list2 = [] 输出：[] 题解： 123456789101112131415161718192021222324252627282930 # Definition for singly-linked list. class ListNode:     def __init__(self, val=0, next=None):         self.val = val         self.next = next    class Solution:     def mergeTwoLists(self, list1: Optional[ListNode], lis...

1. 链表排序简介 在数组排序中，常见的排序算法有：冒泡排序、选择排序、插入排序、希尔排序、归并排序、快速排序、堆排序、计数排序、桶排序、基数排序等。 **而对于链表排序而言，因为链表不支持随机访问，访问链表后面的节点只能依靠 **next 指针从头部顺序遍历，所以相对于数组排序问题来说，链表排序问题会更加复杂一点。 下面先来总结一下适合链表排序与不适合链表排序的算法： **适合链表的排序算法：**冒泡排序、选择排序、插入排序、归并排序、快速排序、计数排序、桶排序、基数排序。 **不适合链表的排序算法：**希尔排序。 **可以用于链表排序但不建议使用的排序算法：**堆排序。 希尔排序为什么不适合链表排序？ 希尔排序：希尔排序中经常涉及到对序列中第 i + gap 的元素进行操作，其中 gap 是希尔排序中当前的步长。而链表不支持随机访问的特性，导致这种操作不适合链表，因而希尔排序算法不适合进行链表排序。 为什么不建议使用堆排序？ 堆排序：堆排序所使用的最大堆 / 最小堆结构本质上是一棵完全二叉树。而完全二叉树适合采用顺序存储结构（数组）。因为数组存储的完全二叉树可以...

0203. 移除链表元素 **给你一个链表的头节点 **head 和一个整数 val ，请你删除链表中所有满足 Node.val == val 的节点，并返回 新的头节点 。 示例 1： 12 输入：head = [1,2,6,3,4,5,6], val = 6 输出：[1,2,3,4,5] 示例 2： 12 输入：head = [], val = 1 输出：[] 示例 3： 12 输入：head = [7,7,7,7], val = 7 输出：[] ** **提示： **列表中的节点数目在范围 **[0, 104] 内 1 <= Node.val <= 50 0 <= val <= 50 题解： 1234567891011121314151617 # Definition for singly-linked list. # class ListNode: #     def __init__(self, val=0, next=None): #         self.val = val #         self.next = next c...

这篇文章将手把手记录我如何搭建自己的技术博客，涵盖 Hexo 博客初始化、主题美化、内容管理到自动部署的完整流程，希望对也想打造自己博客的你有所帮助。 一、Hexo 初始化与基础配置 Hexo 是一款基于 Node.js 的静态博客框架，轻量、快速，非常适合开发者记录技术文章。 初始化项目结构 确保本地安装了 Node.js 和 Git，然后全局安装 Hexo： 1234 npm install -g hexo-cli hexo init my-blog cd my-blog npm install 项目初始化完成后，会看到几个关键目录和文件，比如： source/：文章目录 themes/：主题目录 _config.yml：博客全局配置文件 基本信息配置 **打开根目录下的 **_config.yml，修改以下内容来设置站点信息： 12345 title: Johnny-Zhao's TechBlog subtitle: KEEP FIGHTING author: Johnny-Zhao language: zh-CN url: https://zjncs...