qq_26313585的博客

注意:只是第五章 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的中文版，制作精良

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

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.

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

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

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

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

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

VCS是编译型Verilog模拟器，它完全支持OVI标准的Verilog HDL语言、PLI和SDF。 VCS具有目前行业中最高的模拟性能，其出色的内存管理能力足以支持千万门级的ASIC设计，而其模拟精度也完全满足深亚微米ASIC Sign-Off的要求。VCS结合了节拍式算法和事件驱动算法，具有高性能、大规模和高精度的特点，适用于从行为级、RTL到Sign-Off等各个阶段。VCS已经将CoverMeter中所有的覆盖率测试功能集成，并提供VeraLite、CycleC等智能验证方法。VCS和Scirocco也支持混合语言仿真。VCS和Scirocco都集成了Virsim图形用户界面，它提供了对模拟结果的交互和后处理分析

为了方便在校童鞋们和新加入 ASIC 的同行门快速查阅和学习，把之 前发表的“Perl 在 ASIC 中的应用”系列整理成合集，分为： 基础篇，主要介绍 Perl 的基本语法、数组、哈希、输入输出、函数等。 高级篇，介绍 Perl 的正则表达式、模块 module、面向对象 OOP、 多进程等。 实战篇，介绍 Perl 在芯片设计、验证中的应用。 另外，修正了一些笔误，补充部分内容，和增加练习题参考答案。

如果读者已经拥有其他语言上的编程经验， 如 Visual Basic、 C/C++、 Java、 ASP 或 PHP 等； 并熟悉基本的编程概念如变量、 循环、 条件语句、 函数的话， 表 2.1 将让您一览 Perl 语言的结构和 语法。 在每个部分的结尾处， 都会为读者提供该语法结构的相应章节号， 并附有一段简短扼要的 Perl 程序示例， 以显示如何使用该结构。

Perl’s got a reputation for producing unreadable, unmaintainable code. % perl -e ’print "Hello, world.\n"’

Tcl 全称是 Tool command Language。它是一个基于字符串的命令语言，基础结构和语法 非常简单，易于学习和掌握。 Tcl 语言是一个解释性语言，所谓解释性是指不象其他高级语言需要通过编译和联结，它象其 他 shell 语言一样，直接对每条语句顺次解释执行。

C++程序设计(谭浩强)版，对于首次接触C++的人来讲更易上手，相比C++ Primer Plus，更为通俗易懂，尤其是面向对象方面讲解的更为精细

Perl Regular Expression Quick Reference Card Revision 0.1 (draft) for Perl 5.8.5 This is a quick reference to Perl’s regular expressions. For full information see the perlre and perlop manual pages.

可以复制内容的Programming Perl大骆驼书 包括以下主要内容:子过程、模式匹配、包、对象、进程、Perl调试等