先进性教育到底是什么呢？
让我们先来看一看一篇学术论文的摘要吧：
Category: Uncategorized
Formality Equivalence Checking Verification Process
What is Formal Verification?
Formal verification is an alternative to verification through simulation. Verification through simulation applies a large number of input vectors to the circuit and then compares the resulting output vectors to expected values. As designs become larger and more complex and require more simulation vectors, regression testing with traditional simulation tools becomes a bottleneck in the design flow.
Continue reading “Formality Equivalence Checking Verification Process”
6月22日倒桩顺利通过
早上4点就起来了，4点半和师傅一块出发，中途接了2个人，5点半到了金山训练场，考试6点半开始，还有一个小时，我和另外一个同学每人练了2把，顺利通过。
6点到了桩考地点，师傅已经帮我们取了号，我是26号，说是一小时考30个，等到我考试已经7点20了。
firefox3.6 tab标签的打开位置变量：browser.tabs.insertRelatedAfterCurrent
firefox 3.6 RC1 发布，安装使用基本还好，只是点击链接后的tab标签页打开位置是紧随在所点击的页面后，和之前的不同。
Firefox 3.5和以前的版本的信tab标签页打开是在所有标签页最后面，而FireFox 3.6的tab标签页打开后是在原标签页之后，在Firefox 3.6中添加了一个变量来控制tab标签打开的方式，变量名为 browser.tabs.insertRelatedAfterCurrent
Continue reading “firefox3.6 tab标签的打开位置变量：browser.tabs.insertRelatedAfterCurrent”
Save Image From URL Using PHP
Code 1:
$img = ‘/my/folder/flower.gif’
file_put_contents($img, file_get_contents($url));
Code 2:
$fp = fopen(‘/my/folder/flower.gif’, ‘wb’);
curl_setopt($ch, CURLOPT_FILE, $fp);
curl_setopt($ch, CURLOPT_HEADER, 0);
curl_exec($ch);
curl_close($ch);
fclose($fp);
控制终端代码 – Linux 控制终端转义和控制序列 zz
DESCRIPTION 描述
Linux控制台实现了VT102和ECMA-48/ISO 6429/ANSI X3.64终端控制的子集, 这个子集很庞大,当然还有Linux自己私有的控制序列,以改变颜色配置,字符集映像,等等.在下面将要给出的表格中,第二列为指定的功能给出了 ECMA-48 或者DEC助记符(如果是后者会在前面加有DEC前缀).没有给出助记符的序列既不是ECMA-48也不是VT102字符.
设置KSH的自动补全和历史命令功能
设置KSH的自动补全和历史命令功能
方法一：
set -o vi
历史命令功能（esc -，esc +），自动补全文件名（esc \）。
方法二：
set -o emacs
历史命令功能（ctrl-n，ctrl-p），自动补全文件名(按两次esc)。
找不到自动补全命令的功能，还是bash比较人性化。
简单PHP跳转访问计数器
用Google Analytics可以实现网页的访问计数，如果网页是个跳转页面怎么实现访问计数呢，下面的脚本用PHP语言实现了简单跳转网页计数，用文件counter.txt来记录访问计数。
DeCap Cell (Decoupling Capacitors)
What are Decaps?
- Decaps are on-chip decoupling capacitors that are attached to the power mesh to decrease noise effects
- Decaps are most effective when placed closest to the loads
Windows 自动化脚本工具：AutoIt
在Linux/Unix下面有丰富的Shell脚本语言可以选择，可以使用脚本语言来控制操作系统，和完成各种自动化应用，Windows的自动化脚本语言就没有这么多了，只有批处理可以使用，如果你经需要常配置Windows，或者在多台电脑同步Windows的配置，那么就会显得很繁琐。
AutoIt就是基于Windows的自动化脚本软件，能够实现调用Windows系统调用，等等功能。还可以执行GUI操作，模拟鼠标点击，在对话框中输入参数等等。