UPF Based Power Aware Dynamic Simulation.pdf

注意:只是第五章 UPF based power aware (PA) verifcation adopts several power dissipation reduction techniques based on the target design implementation and UPF power specifcation or intent, as discussed in Chap. 2. These techniques introduce numerous and complex verifcation issues and challenges in the functional and structural aspects of the design. Such artifacts are completely nonexistent in a non-PA verifcation environment. For example, the power aware requirements may affect the design functionality in terms of power On-Off sequences, different modes of power operation, state or data preservation operations, data propagation, logic resolution, power state transitions, power state transition coverage, power state cross coverage, and more.

A Practical Guide to Adopting the Universal Verification Methodology中文版.pdf

a practical guide to adopting the universal verification methodology的中文版，制作精良

The Ruby Programming Language 2008(英文版).pdf

The Ruby Programming Language 2008 (English)包含精致书签，可复制文档内容，结合中文版可以对ruby相关语法进行学习，个人感觉ruby很大，死读书不如结合一些实例进行了解更好，本手册更适合遇到问题再来翻阅

System Verilog for Verification

System Verilog验证平台编写指南第二版原版 The SystemVerilog language includes features for design, verification, assertions, and more. This book focuses on the constructs used to verify a design. There are many ways to solve a problem using SystemVerilog. This book explains the tradeoffs between alternative solutions.

a practical guide to adopting the universal verfication methodology

非常好的UVM学习资料，作为入门来讲，结合SV语法可以为数字验证打下一个良好的基础，里面的内容比较详细 The Universal Verification Methodology (UVM) is a complete methodology that codifies the best practices for efficient and exhaustive verification. One of the key principles of UVM is to develop and leverage reusable verification components—also called UVM Verification Components (UVCs). The UVM is targeted to verify small designs and large-gate-count, IP-based system-on-chip (SoC) designs.

跟我一起写Makefile

什么是 makefile？或许很多 Windows 的程序员都不知道这个东西，因为那些 Windows的 IDE 都为你做了这个工作，但我觉得要作一个好的和professional 的程序员，makefile 还是要懂。这就好像现在有这么多的 HTML 的编辑器，但如果你想成为一个专业人士，你还是要了解 HTML 的标识的含义。特别在 Unix 下的软件编译，你就不能不自己写makefile 了，会不会写 makefile，从一个侧面说明了一个人是否具备完成大型工程的能力。

SystemVerilog验证 测试平台编写指南

高清扫描版SystemVerilog验证 测试平台编写指南，每章节有书签！

用python设计芯片

Python拥有一个强大的标准库。Python语言的核心只包含数字、字符串、列表、字典、文件等常见类型和函数，而由Python标准库提供了系统管理、网络通信、文本处理、数据库接口、图形系统、XML处理等额外的功能。Python标准库命名接口清晰、文档良好，很容易学习和使用。

OOP for Perl

由于抽象性、封装性、重用性以及便于使用等方面的原因，以组件为基础的编程在脚本语言中已经变得特别流行。Python 和 Ruby 是最近才出现的语言，在开发时完全采用了 OOP 的思想，而流行的 Perl 脚本语言从版本5开始也慢慢地加入了新的面向对象的功能组件。用组件代替“现实”上的实体成为 JavaScript（ECMAScript） 得以流行的原因，有论证表明对组件进行适当的组合就可以在英特网上代替 HTML 和 XML 的文档对象模型（DOM）。

Perl语言入门第六版

Perl语言入门》是2009年东南大学出版社出版的图书，作者是施瓦茨（Randal L. Schwartz）、菲尼克斯（Tom Phoenix）、福瓦（brian d foy）。《Perl语言入门》也就是大家所称道的“小骆驼书”，是Perl程序设计人员最为仰赖的启蒙读物之一。自1993年以来，这本书就成为热卖的Perl语言教学材料，而此次新版又涵盖了Perl 5.10的最新变化。