做验证的大牛

1# taotaogou 这个...慢慢来啦

多看看业界新闻，就会有所得了。

我是来学习的。

来看看，以为小编教怎么做大牛呢

hahhh

多看相关书籍，多动手实践，一步一步来吧。其实我也在学习中，呵呵

haha ,gong tong jin bu

以为小编要传授经验了啊......

以为小编教怎么做大牛

好的。加油

呵呵，还以为小编是大牛呢

I also wilder about verification.

以为小编要传授经验呢！

学习+实践！

我是来打酱油的

Perl/Tcl ?

先看书
做验证的需要懂编程,最好是oop的

学习一下

目标~

好像国内没有专门说谁是做验证的吧?有这样的教授?

唉已经接触验证一段时间了，发现国内最牛逼的还是国防科大，可惜政治原因不能抛头露面，其次就是中科院计算机所了，但是这帮孙子真行，基金没少拿结果全拿去买龙芯了，唉悲哀啊。国外的话，CMU有一个拿过图灵奖的教授是做formal verification的牛逼坏了，剩下的几乎都是中国教授了。感兴趣的同学可以私聊。

嘿嘿！

hahahha

thanksthanks

冒个泡