皮皮祥的博客

摘要： function的用法 function的标准写法如下： function <返回值的类型或是范围> （函数名）； <端口说明语句> //input xxx <变量类型说明语句> //reg xxx begin <语句> ............ 函数名=zzz; //函数名就相当于输出变量 end 阅读全文

摘要： 1　操作系统的核心——内核 术语“操作系统”通常包含两种不同含义。 1．指完整的软件包，这包括用来管理计算机资源的核心层软件，以及附带的所有标准软件工具，诸如命令行解释器、图形用户界面、文件操作工具和文本编辑器等。 2．在更狭义的范围内，是指管理和分配计算机资源（即CPU、RAM和设备）的核心层软件 阅读全文

摘要： 这本《深入Linux内核》相信很多程序员的书柜上都有这本书，但是真正能够啃完理解其中技术的在我看来可能少之又少，不知道有没有它书籍销量的百分之一。 这里我不禁就产生了一个疑问：Linux内核是不是需要大多数程序员都去了解学习？ 对于本身正在从事或就要从事内核开发的人来说，这个当然不是一个问题。但是对 阅读全文

摘要： linux学习教程 :http://c.biancheng.net/linux_tutorial/ 阅读全文

摘要： 1.什么是实时操作系统？ 实时操作系统（RTOS）是指当外界事件或数据产生时，能够接受并以足够快的速度予以处理，其处理的结果又能在规定的时间之内来控制生产过程或对处理系统作出快速响应，并控制所有实时任务协调一致运行的操作系统。其特点是及时响应和高可靠性。实时系统又分为硬实时系统和软实时系统，硬实时系 阅读全文

摘要： 内核编程常常看起来像是黑魔法，而在亚瑟 C 克拉克的眼中，它八成就是了。Linux内核和它的用户空间是大不相同的：抛开漫不经心，你必须小心翼翼，因为你编程中的一个bug就会影响到整个系统。浮点运算做起来可不容易，堆栈固定而狭小，而你写的代码总是异步的，因此你需要想想并发会导致什么。而除了所有这一切之 阅读全文

摘要： 数字IC设计和FPGA设计都属于硬件设计的范畴，随着硬件设计复杂性的不断增加，为了能够最大程度的使得验证收敛，验证方法也越来越多，在数字IC方向和FPGA方向，验证都是贯穿于每一个环节之中，数字IC前端设计需要验证，这里的验证指的是功能验证，后端物理实现也会有验证。做FPGA的呢，也会用到验证，这时 阅读全文

摘要： 一、前言 接触Synopsys 家的VCS工具有一段时间了，在此简单分享下个人的学习笔记。供刚接触到数字前端设计的同学提供一些参考资料。在学校我们经常使用的verilog仿真软件都是quartus和modelsim，但是看一下一些公司的招聘要求，公司里使用的基本都是VCS。所以学习一下对找工作还是有 阅读全文

摘要： 形式验证入门之基本概念和流程 一、什么是形式验证？ VLSI设计的功能验证有两种方法，动态仿真验证和形式验证。形式验证采用数学方法来比较原设计和修改设计之间的逻辑功能的异同，而动态仿真验证是对两设计施加相同的激励后，观测电路对激励的反应异同。设计越大，为了达到100%的覆盖率，动态仿真验证所需要的矢 阅读全文

摘要： 1. 什么是形式化验证 FV(formal verification)是指使用数学工具分析设计可能行为的空间，而不是计算特定值的结果。FV工具将着眼于所有可能的仿真，而不是尝试特定的值。当然，它并不是真的运行所有可能的仿真，但它将使用数学技术来考虑所有可能的行为。仿真和FV的区别：仿真着眼于可能测试 阅读全文