个人主页 TableOfContents 纪录一些自己经常访问的网站

个人兴趣

我是一个芯片验证工程师，在日常工作中，python是我最重要的scripting language。现在我还用python的[http://wiki.python.org/moin/MyHDL MyHDL] package来搭建testbench, it works well。我的兴趣范围还包括[wiki:ChunLinZhang/SystemC SystemC], [wiki:ChunLinZhang/Specman Specman], [wiki:ChunLinZhang/SystemVerilog SystemVerilog], testbench automation，coverage driven verification等，希望能和IC design领域的同行多多交流。

Verification vs. Test

• Verification Predictive analysis to ensure that the synthesized design, when manufactured, will perform the given I/O function

• Test A manufacturing step that ensures that the physical device, manufactured from the synthesized design, has no manufacturing defect.

• [http://www.eng.auburn.edu/~vagrawal/ website about test]

Equivalence Check / STA

• FPGA approach

SynplifyPro -> Conformal (lec) -> ISE Timing Analyzer (trce)BR set verification mode on in Synplify to generate the .vif file, use vif2conformal to translate the vif file the a format that recognizible by conformal. The inputs of trce is .ncd and .pcf files, before we can use these files generated by Synplify with lec, we had to change all these file format using dos2unix, and add -define FPGA to the .vtc file. I can't understand why Synplify failed to add this switch to the .vtc file. BRBR Set the verification mode on will greatly slow the the synthesis speed. The whole lec process will take about 1 and a half hours to complete.

• ASIC approach

Design Compiler -> Formality -> PrimeTime

• [http://www.edaboard.com/viewtopic.php?t=81857&sid=d1a842f8bb135206c95564ed51f25332 What is Equivalence Checking?]

scripting

• [http://www.edaboard.com/viewtopic.php?t=76718&sid=d1a842f8bb135206c95564ed51f25332 Using perl or cshell script to perform daily task]

processing excel with python

read

[http://www.lexicon.net/sjmachin/xlrd.htm xlrd]从python.cn上看到的介绍，自己没有试过。

write

[http://sourceforge.net/projects/pyxlwriter/ xlwriter] I have ever used this package to generate the summary verification report, quite good to do the same kind of work like report auto-generation. It is also platform independent. The bad side is not very easy to control the format. Some sample code:

   1 import pyXLWriter as xl
   2 def report_autogen(filename):
   3     wbk = xl.Writer(filename)
   4     sumsheet = wbk.add_worksheet('Summary')
   5     wbk.close()
   6     return 0

技术类

Include(ChunLinZhang/bookmark)

• [wiki:ChunLinZhang/projects 我的项目]

   1 from myhdl import *

精品电子书

• [http://www.amazon.com/exec/obidos/tg/detail/-/1402078757/104-1722879-4423959?v=glance Professional Verification] -- A Guide to Advanced Funcational Verication, by Paul Wilcox, Cadence Design Systems, Inc.

{zh} [email protected]

MonthCalendar

CategoryHomepage