Differences between revisions 39 and 40
Revision 39 as of 2005-06-09 14:11:07
Size: 1183
Editor: ChunLinZhang
Comment:
Revision 40 as of 2005-06-09 14:30:09
Size: 1573
Editor: ChunLinZhang
Comment:
Deletions are marked like this. Additions are marked like this.
Line 11: Line 11:
== 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
 * ASIC approach
{{{Design Compiler -> Formality -> PrimeTime}}}

个人主页 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

  • ASIC approach

Design Compiler -> Formality -> PrimeTime

技术类

Include(ChunLinZhang/bookmark)

   1 from myhdl import *

{zh} [email protected] :)

MonthCalendar


CategoryHomepage

Nicran (last edited 2009-12-25 07:09:28 by localhost)