verybing的专栏

通俗的讲，芯片设计的验证（Verification）就是验证所设计的逻辑代码是否符合预期的要求，是否符合原来定义好的规范（如对于一个H264解码芯片，就是验证其是否实现了H264 标准中的某部分规范，不一定是全部，因为H264分为很多profile，可能所要求的仅仅是实现某些pr

门级仿真经验（SDF反标及其工作原理）Standard Cell的仿真模型：首先我们先看一个stand cell的仿真模型一般情况下，仿真模型包括两个部分，一个部分是功能部分也就是这个standcell的功能，可以用udp元件或者逻辑功能做表述，第二个部分是时序反标和时序检查部分，这部分主要是提供sdf反标时序，和timingcheck的类型，并且通过系统函数告知仿真者和改变输出值。`

最近试着安装了一下synopsys vcs(v2009.12)，自己小结一下完整的安装过程。操作系统：Red hat enterprise linux as4(虚拟机VMware workstation 7.0.1 build-227600)安装步骤：1.安装synopsys installer(v2.2)installer的安装只要在目标安装的路径下直接解压安装文件即可：$t

1、使用本目录下的Synopsys.src替换EFA LicGen 0.4b\packs目录下的Synopsys.dat2、利用LicGen.exe生成synopsys.dat注意：选custom，并填入 hostid。（此种方法可行，若不如此，也不一定不可以。）3、在虚拟dos环境下（在windows界面下，使用cmd进入），键入：sssverify synopsys.dat

我是个“低调”的人，总不喜欢表达出来，对异性如此，对工作也是如此。在翔哥的鼓励下，决定把自己工作的一些经验和思考写下来，和同道们一起分享。 ASIC设计中一种通用型并行设计方法： 1）流水网的概念提出    IC设计中的控制有串行和并行两种思想。状态机方法反应了串行控制思想，有软件的思路，比较好理解，新手比较喜欢用。流水线方法是并行处理的思想，比较抽象，因为其效率高，老手喜欢用