详细讲述了芯片研发中必不可少的验证流程，UVM是一种通用验证方法学，本资料包括UVM的基本架构以及示例代码的详细讲解

目录 第一章程序设计方法学简介 1.1 程序设计方法学的产生 1.2 程序设计方法学的基本内容 第二章程序设计方法学的基本理论 2.1 结构化定理 2.1.1 结构化程序 2.1.2 结构化定理 2.2 程序正确性证明 2.2.1 基本概念 2.2.2 部分正确性证明方法 2.2.3 终止性证明方法 2.3 抽象数据类型 2.3.1 基本概念 2.3.2 抽象数据类型的代数规范 第三章结构化程序设计方法学 3.1 结构化程序设计概述 3.2 结构化程序设计 3.2.1 逐步求精 3.2.2 不变式程序设计 第四章面向对象程序设计方法学 4.1 面向对象程序概述 4.1.1 面向对象技术的产生与发展 4.1.2 面向对象抽象的原理 4.1.3 面向对象计算的模型 4.2 可复用面向对象程序设计的基本原则 4.2.1 开闭原则（OCP） 4.2.2 里氏代换原则（LSP） 4.2.3 依赖倒转原则（DIP） 4.2.4 迪米特法则（LOD） 4.2.5 单责任原则（SRP） 4.3 范型程序设计 4.3.1 基本概念 4.3.2 迭代子、函数对象和容器 4.3.3 实例 4.4 设计模式 4.4.1 基本概念 4.4.2 创建型模式 4.4.3 结构型模式 4.4.4 行为型模式 4.5 面向对象程序设计实例

最新完整英文电子版 IEEE Std 1800.2-2020 Universal Verification Methodology Language Reference Manual (通用验证方法学语言参考手册 )。该标准建立了通用验证方法（UVM），这是一套应用编程接口（API），定义了一个基础类库（BCL）的定义，用于为功能验证环境开发模块化、可扩展和可重复使用的组件。这些API和BCL是基于IEEE的System Verilog标准，IEEE Std 1800.1。目前，验证组件和环境是以不同的形式创建的，这使得验证工具和/或地理上分散的设计环境之间的互操作性既费时又容易出错。UVM标准化工作的结果将改善互操作性，减少为每个新项目或电子设计自动化（EDA）工具重新购买和重写知识产权（IP）的成本，并使重复使用验证组件更加容易。总的来说，UVM的标准化工作将降低验证成本，提高整个行业的设计质量。

硬件设计验证方法学，中文版本，适合初学者的书籍。FPGA ASIC验证

面向对象方法学COM组件笔记，需要下载，面向对象方法学COM组件笔记，需要下载，

learn-sql-the-hard-way-笨方法学sql

机械设计方法学pdf,详细讲述设计过和研制过程等,是工程设计人员的好帮手.

2022届一轮复习苏教版 第7章 第6节 立体几何中的向量方法 学案.doc

包含《笨方法学python3》中习题1-45的代码，在win7电脑 python3.6上都跑过。用的是Atom和Shell

混合信号设计方法学指导模拟混合信号IP和SoC的设计、验证与实现的先进方法学Mixed-Signal Methodology Guide