2018/07/15 script   Array VS Dict in Tcl

Tcl8.5开始引入了dict,dict与array类似，都是处理键值对；但它们又有明显的差异。Tcl Array虽然译为数组，但它其实不是数组，它存储的是变量；Tcl dict可被视为Tcl list，它存储的是值。 Tcl arrays are collections of variables; Tcl dicts are pure values. ......

2018/05/23 script   quick search for multi cells in def file

目前参与一个GPU项目,芯片很大,划分成了100+个block。项目中我需要找到这些block内的某些flatten cell的location信息，这就要求我去def file里找到这些cell。每个block的基本都是大于1million的instance，def file 其实还是挺大的。 首先把所有这些cell分开到每个block，reused block 里需要uniq一下; 比如，处理后将他们分到n个不同block，每个block又m=f(n)个cell，n个cell name存进dict。对于n个文件，每个里找到m行，如果每次open一个文件，按照顺序依次找到其中一行，然后return，那么时间复杂度会很大，O(mn)，这是很浪费时间的。 ......

2018/03/30 STA   Virtual Clock

1. What is virtual clock Virtual Clock: 没有定义时钟源的时钟 Real Clock: 定义了时钟源的时钟。 ......

2018/03/06 verification   hierarchical verification

IC设计中，到处都有top-down和bottom-up的思想，在formal verification里也同样存在。Formality默认就是使用top-down + bottom-up相结合的策略来做形式验证。 ......