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了。

Continue reading “6月22日倒桩顺利通过”

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: $url = ‘http://example.com/image.php’;
$img = ‘/my/folder/flower.gif’
file_put_contents($img, file_get_contents($url));

Code 2: $ch = curl_init(‘http://example.com/image.php’);
$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);

Continue reading “Save Image From URL Using PHP”

控制终端代码 – Linux 控制终端转义和控制序列 zz

DESCRIPTION 描述

Linux控制台实现了VT102和ECMA-48/ISO 6429/ANSI X3.64终端控制的子集, 这个子集很庞大,当然还有Linux自己私有的控制序列,以改变颜色配置,字符集映像,等等.在下面将要给出的表格中,第二列为指定的功能给出了 ECMA-48 或者DEC助记符(如果是后者会在前面加有DEC前缀).没有给出助记符的序列既不是ECMA-48也不是VT102字符.

Continue reading “控制终端代码 – Linux 控制终端转义和控制序列 zz”

设置KSH的自动补全和历史命令功能

设置KSH的自动补全和历史命令功能

方法一：

set -o vi

历史命令功能（esc -，esc +），自动补全文件名（esc \）。

方法二：

set -o emacs

历史命令功能（ctrl-n，ctrl-p），自动补全文件名(按两次esc)。

找不到自动补全命令的功能，还是bash比较人性化。

Continue reading “设置KSH的自动补全和历史命令功能”

用wget下载网站，实现离线浏览

想下一些LSF的文档，windows下的离线浏览有teleport等软件可以选择，Linux下面的类似的离线浏览的软件就更多了。

本来想看看能不能用curl来实现整个网站下载，后来发现curl没有网站下载这个功能。Linux下面除了curl外另一个强大的软件就是wget。

Continue reading “用wget下载网站，实现离线浏览”

Windows 自动化脚本工具：AutoIt

在Linux/Unix下面有丰富的Shell脚本语言可以选择，可以使用脚本语言来控制操作系统，和完成各种自动化应用，Windows的自动化脚本语言就没有这么多了，只有批处理可以使用，如果你经需要常配置Windows，或者在多台电脑同步Windows的配置，那么就会显得很繁琐。

AutoIt就是基于Windows的自动化脚本软件，能够实现调用Windows系统调用，等等功能。还可以执行GUI操作，模拟鼠标点击，在对话框中输入参数等等。

Continue reading “Windows 自动化脚本工具：AutoIt”