Leal　我

个人兴趣

coming soon

fpga prototyping

[http://www.hardi.com HARDI HAPS]
[http://www.s2cinc.com S2C IPPorter]

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. BR BR 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]
Tcl/Tk is a glue language, a good artical [http://wiki.tcl.tk/11834 Tcl over Python]
[http://www.equi4.com/minotaur/minotaur.html Minotaur] for Perl, Python and Tcl, if you need to mix these scripting languages in one file, try this. The bad thing is that nobody maintain it anymore and no document about the actual usage.
[http://aspn.activestate.com/ASPN/CodeDoc/Inline-Tcl/Tcl.html Inline Tcl] best, I think, anybody can tell me is there a corespond in python?

documentation

latex
wiki, I use moinmoin as the engine, and sometimes, use python package [https://moin.conectiva.com.br/EditMoin EditMoin] to edit the moin pages with vim. It is a pure python implementation, and I made the following modification to make it works for me

   1 # original code commented out
   2 # self.datestamp = self._get_data(DATESTAMPRE, "datestamp")
   3 self.datestamp = ''

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

xml and python

XML-RPC for distributed computation, functions will be defined in the server side, client side can call these functions via http POST with xml as the embeded content.