Pinscope Benchmark Circuits

该存储库包含一套用于Pinscope基准测试的KiCad电路样本。该套件旨在测试、验证和评估Pinscope在电路分析、故障覆盖和网表验证方面的能力。它包括四个不同的项目，每个项目有原始版本和故障注入版本，并详细记录了故障类别和细节。This repository contains a set of KiCad circuit samples for the Pinscope benchmark. This suite is designed to test, validate, and evaluate the capabilities of Pinscope in circuit analysis, fault coverage, and netlist verification. It includes four distinct projects, each with both an original version and a fault-injected version, with fault categories and details thoroughly documented.

原始信息汇总

数据集概述：Pinscope Benchmark Circuits

该数据集是一个用于评估 Pinscope 电路分析能力的 KiCad 基准电路套件，包含四组经过故障注入的电路项目。每个项目都有原始版本和故障注入版本，用于测试和验证 Pinscope 在电路分析、故障覆盖率和网表验证方面的性能。

---

存储库结构

• 原始版本：位于 Original-schematics/ 目录下，是干净的参考 KiCad 设计。
• 故障注入版本：位于以 x- 为前缀的顶层文件夹中，是带有模拟硬件、网表或原理图故障的修改版本。

项目索引

项目名称	原始文件夹	故障注入文件夹 (x-)	描述
TI MSP Devboard	Original-schematics/TI-MSP-Devboard	x-TI-MSP-Devboard	TI MSPM0G3507 微控制器开发板。
Open-Smartwatch Light	Original-schematics/osw-light	x-osw-light	Open-Smartwatch KiCad 项目的精简版。
STM32 FPV Drone Controller	Original-schematics/DroneController-main	x-drone-controller	基于 STM32F411 的 FPV 无人机飞行控制器。
de-link-pcb	Original-schematics/de-link-pcb-master	x-de-link	de-link-pcb 开源硬件板。

---

故障注入详情

每个故障注入文件夹包含一个 injected-errors.md 文件，详细记录了具体的故障（设计符号、错误描述）。

错误类别

#	错误类别	描述	出现于
1	缺少组件	从网表中省略了必需部件（去耦电容、上拉/下拉、限流、门电路或保护组件）。	x-TI-MSP-Devboard, x-de-link, x-drone-controller
2	缺少连接	网络或标签缺失，导致引脚、电源或地悬空。	x-osw-light, x-drone-controller
3	交换连接	两个网络互换（例如，UART TX↔RX）。	x-TI-MSP-Devboard, x-osw-light, x-drone-controller
4	不正确的组件值	正确的部件类型但值错误（例如，指定10k但使用了100k）。	x-osw-light
5	极性反转	极性部件（二极管/LED）或晶体管放置时端子反转。	x-osw-light, x-de-link, x-drone-controller
6	控制引脚状态错误	控制/配置引脚连接到错误的固定电平（例如，使能接地、启动引脚被上拉而非下拉）。	x-osw-light, x-de-link, x-drone-controller
7	电气不兼容	违反器件限制的互连（例如，非5V耐受引脚被5V信号驱动）。	x-TI-MSP-Devboard, x-drone-controller
8	组件/网络短路	一个组件或网络被桥接或短接（例如，反馈分压电阻被短接为0Ω）。	x-de-link, x-drone-controller
9	引脚资源冲突	为某一功能保留的引脚被重新用于其他功能（例如，PSRAM保留的IO35被重新分配为I/O）。	x-de-link

---

Pinscope 检测结果

使用 Pinscope 分析了每个故障注入项目，结果记录在对应 x- 文件夹的 *-findings.xlsx 文件中。

总体表现总结

项目	可评估的注入故障数	检测到	覆盖率
TI MSP Devboard	4	3	75%
Open-Smartwatch Light	5	3	60%
STM32 FPV Drone Controller	9	5	56%
de-link-pcb	8	6	75%
总计	26	17	65.4%

Pinscope 抓取了约三分之二的注入故障。在连接性和电气兼容性故障（如交换网络、短路、控制引脚错误、引脚资源冲突、值不正确和电压域违规）上检测能力最强。

按错误类别的覆盖率

错误类别	检测到 / 注入
Swapped connection	3 / 4
Electrical incompatibility	1 / 1
Incorrect component value	1 / 1
Shorted component/net	2 / 2
Pin resource conflict	1 / 1
Stuck / mis-tied control pin	2 / 4
Missing connection	1 / 3
Reversed polarity	2 / 3
Missing component	4 / 7

与 KiCad ERC 的对比

项目	KiCad ERC 可捕获的故障数	Pinscope
TI MSP Devboard	0 / 4	3 / 4
Open-Smartwatch Light	1 / 5	3 / 5
STM32 FPV Drone Controller	0 / 9	5 / 9
de-link-pcb	0 / 8	6 / 8
总计	1 / 26 (3.8%)	17 / 26 (65.4%)

KiCad ERC 仅能捕获一个悬空电源引脚故障，而 Pinscope 基于数据手册的审查能发现更多 ERC 无法检测的问题。

---

来源与致谢

1. TI MSP Devboard: 源自 KiCad 9 TI MSPM0 Tutorial (MIT 许可证)，作者 Phil Salmony。
2. Open-Smartwatch Light: 源自 Open-Smartwatch Light Repo (GPL-3.0 许可证)，Open-Smartwatch 项目。
3. STM32 FPV Drone Controller: 源自 DroneController (MIT 许可证)，作者 Evan Bhogal (esb8) & Ammar Mahmood。
4. de-link-pcb: 源自 de-link-pcb (许可证未定义)，作者 Ian D. Chasse。

搜集汇总

数据集介绍

构建方式

Pinscope Benchmark Circuits 数据集精心构建了一套用于评估电路分析工具 Pinscope 性能的基准测试电路集。该数据集以四个真实世界的开源 KiCad 项目为基础：TI MSPM0G3507 微控制器开发板、Open-Smartwatch Light 智能手表、STM32F411 FPV 无人机飞控板以及 de-link-pcb 开源硬件板。对于每个项目，数据集提供了两个版本：一个干净的原始参考设计，以及一个经过故障注入的修改版本。故障注入过程通过在 KiCad 原理图中添加文本注释来模拟各种硬件、网表或原理图缺陷，并自动生成包含故障细节的 injected-errors.md 文件。这些故障涵盖九种错误类别，包括缺失组件、连接错误、极性反接、电气不兼容等，从而构建了一个全面且可重复的基准测试环境。

使用方法

使用 Pinscope Benchmark Circuits 数据集的方法直接明了。用户首先可以从仓库中获取四个项目的文件夹，每个故障注入版本的项目文件夹（以 x- 前缀标识）内包含一个 injected-errors.md 文件，详细列出了所有注入的故障及其描述。用户可以使用 Pinscope 工具分别分析每个故障注入的原理图，然后将其生成的 findings 文件（xlsx 格式）与 injected-errors.md 中的故障列表进行对比，以评估检测能力。为了更深入的验证，用户还可以通过比较故障注入版本和原始版本的网表文件（.csv 或 .asc）来理解故障对电路的具体影响。该数据集完全基于 KiCad 格式，使得用户可以在熟悉的 EDA 环境中直接操作和验证，降低了使用门槛。

背景与挑战

背景概述

Pinscope Benchmark Circuits数据集由Pinscope项目团队创建，旨在为电子设计自动化（EDA）领域中的电路分析、故障覆盖率和网表验证提供一套标准化的测试基准。该数据集基于KiCad开源设计工具，包含四个真实世界的硬件项目：TI MSPM0G3507微控制器开发板、Open-Smartwatch智能手表、STM32F411无人机飞控板以及de-link-pcb开源板卡。每个项目均提供原始无故障版本和精心注入模拟故障的版本，故障类型涵盖九大类，如缺失元件、连接错误、极性颠倒和电气不兼容等。该数据集的出现填补了电路设计验证中缺乏标准化、可复现基准的空白，为研究人员和工程师评估硬件设计检查工具的性能提供了重要参考，其影响力在于推动了自动化电路审查技术的发展，尤其在传统电气规则检查（ERC）力所不及的领域展现出巨大潜力。

当前挑战

该数据集所解决的领域问题聚焦于电路设计验证中的核心挑战：传统EDA工具如KiCad内置的ERC仅能进行结构连通性检查，无法理解元件功能或电气特性，导致大量故障如信号交换、元件值错误、极性反转和电气不兼容等被遗漏。在构建过程中，数据集面临了多重挑战。首先，需要确保注入的故障具有实际电路意义，而非任意错误，这要求深入理解每个项目的功能设计和常见设计陷阱。其次，故障注入必须精确模拟真实设计失误，如移除去耦电容、交换UART收发线、或错误配置启动引脚，同时保证网表级修改的隐蔽性，使工具难以直接检测。此外，数据集的多样性设计需覆盖不同复杂度（从简单开发板到多模块飞控板）和多种故障类型，以全面评估工具性能。最终，Pinscope工具仅能捕获约65%的注入故障，漏检集中在无声元件移除和缺失数据手册的元件上，突显了网表级审查的固有局限，即无法识别不产生电气变化的故障，以及对第三方元件库的依赖。

常用场景

经典使用场景

Pinscope Benchmark Circuits数据集由一组精心设计的KiCad电路项目构成，涵盖了从微控制器开发板、智能手表、FPV无人机飞控到开源硬件板卡等多种典型电子设计。每个项目均提供原始原理图与注入故障的版本，故障类型包括元件缺失、连接错误、极性颠倒、电气不兼容等九大类。该数据集最经典的使用场景是作为电路分析工具Pinscope的基准测试平台，用于系统性评估其在原理图级故障检测、覆盖率计算及网表验证方面的能力。研究者利用该套件可标准化地对比不同版本下工具的检测性能，并量化各类故障的捕获率与漏检模式。

解决学术问题

该数据集解决了电子设计自动化领域中一个长期存在的学术难题，即如何客观、可重复地评估原理图级验证工具的故障检测能力。传统上，电路审查依赖人工经验或纯粹的结构检查（如KiCad ERC），无法捕获语义层面的设计错误。Pinscope Benchmark Circuits通过标准化的故障注入方案，提供了包含26个可评估故障的基准测试集，使研究者能够量化工具对连接性、电气兼容性及资源冲突等复杂故障的敏感度。这项工作为电路正确性验证提供了一个可复现的评估框架，推动了从静态网表检查向知识驱动型审查的范式转变，其影响力体现在为后续工具改进提供了明确的基线参考和性能度量标准。

实际应用

在实际工程领域，此数据集发挥着多重作用。对硬件设计团队而言，它可作为入职培训工具，帮助工程师识别真实项目中常见的错误模式，如TX/RX交叉连接、极性相反或缺失去耦电容等问题。对于EDA工具开发商，该套件提供了标准化的验证套件，用于在产品发布前进行回归测试和性能基准标定。此外，教育培训机构可将其纳入课程设计，让学生通过对比原始与故障原理图，直观理解电路设计中的潜在陷阱。在开源硬件社区中，该数据集促进了设计审查流程的自动化探索，使得社区贡献者能够借助工具快速定位设计缺陷，缩短验证周期。

数据集最近研究

最新研究方向

Pinscope Benchmark Circuits作为开源EDA工具链中的首个标准化故障注入基准套件，正引领电路设计自动化验证的前沿研究。该数据集通过四款真实硬件设计（TI微控制器开发板、智能手表、无人机飞控及开源电路板）构建了系统性的网表故障模型，涵盖9类常见电路错误。当前研究焦点集中在突破传统电气规则检查（ERC）的局限性——实验表明传统ERC仅能捕捉3.8%的注入故障，而Pinscope基于数据手册的智能分析实现了65.4%的检测覆盖率。这一研究方向与开源硬件生态中日益增长的可靠性需求紧密相连，特别是在消费电子和无人机等领域，其意义在于为KiCad等开源EDA工具提供了可量化的验证方法论，推动从结构性连通性检查向语义级电路理解的技术演进。