f*********y
发帖数: 79 | 1 各位大侠 小弟几年5月MS毕业，找到一个verification的工作。以前在国内和这边学的
都是design相关的东西。不知道verification有没有什么好书可以看的？怎么培养验证
思路 写出好的testbench？其实一开始不太想做verification的 后来觉得能学多学点
也很好。
在国内看有人用Vera/System Verilog做验证。这些东西我也是一窍不通，请教如何学
习。
多谢各位 |
s***f
发帖数: 226 | 2 有点好奇，楼主不是很懂Verification的话是怎么能找到工作的，特别是现在这个情势
，很精通的人都不一定能找到工作。诚心请教。
做RTL Verification要很懂System Verilog，这个是很多职位的招聘基本条件之一。 |
s*****y
发帖数: 1974 | 3 俺不懂System Verilog，基本用MATLAB在做
不过这一行，太费神，有时候能把人整吐了
同样的辛苦，还不如搞软件，
【在 s***f 的大作中提到】
: 有点好奇，楼主不是很懂Verification的话是怎么能找到工作的，特别是现在这个情势
: ，很精通的人都不一定能找到工作。诚心请教。
: 做RTL Verification要很懂System Verilog，这个是很多职位的招聘基本条件之一。
|
le
发帖数: 190 | 4 systemverilog会问些什么问题？
【在 s***f 的大作中提到】
: 有点好奇，楼主不是很懂Verification的话是怎么能找到工作的，特别是现在这个情势
: ，很精通的人都不一定能找到工作。诚心请教。
: 做RTL Verification要很懂System Verilog，这个是很多职位的招聘基本条件之一。
|
f*********y
发帖数: 79 | 5 这个我也不知道。。。
面试的时候问的都是比较简单的design和verilog的问题
后来manager跟我说把我放到verification的group组里面了
【在 s***f 的大作中提到】
: 有点好奇，楼主不是很懂Verification的话是怎么能找到工作的，特别是现在这个情势
: ，很精通的人都不一定能找到工作。诚心请教。
: 做RTL Verification要很懂System Verilog，这个是很多职位的招聘基本条件之一。
|
f*********y
发帖数: 79 | 6 matlab 我也不懂。。。。
看来要学的东西好多啊。
【在 s*****y 的大作中提到】
: 俺不懂System Verilog，基本用MATLAB在做
: 不过这一行，太费神，有时候能把人整吐了
: 同样的辛苦，还不如搞软件，
|
M***y
发帖数: 2252 | 7 能找到工作已经很爽了。。
看来你design方面挺强啊
【在 f*********y 的大作中提到】
: matlab 我也不懂。。。。
: 看来要学的东西好多啊。
|
f*********r
发帖数: 674 | 8 学学formal verification... 里面很多学问的... |
f*********r
发帖数: 674 | 9 还有semiformal verification? 找找Silvia M. Mueller的publication吧. 她可是很
懂这一方面 |
f*********r
发帖数: 674 | |
|
|
f*********r
发帖数: 674 | 11 还有semiformal verification? 找找Silvia M. Mueller的publication吧. 她可是很
懂这一方面 |
f*********r
发帖数: 674 | |
f*********r
发帖数: 674 | |
M***y
发帖数: 2252 | 14 industry用formal的多么 我感觉还是simulation based多吧
【在 f*********r 的大作中提到】
: 学学formal verification... 里面很多学问的...
|
f*********y
发帖数: 79 | |
f*********r
发帖数: 674 | 16 我原来和silvia m mueller在同一个project工作过, 她经常用formal verification来
verify
【在 M***y 的大作中提到】
: industry用formal的多么 我感觉还是simulation based多吧
|
x**1
发帖数: 892 | 17 formal verification 和 verification 应该totally 两马事情。fv现在根本不需要学
什么东西全都是tool来的。
verification 分的是functional verification还是direct test. direct test 就像
实际应用一样,主要搭系统写testbench写c
function verification看个vmm吧 但这玩意其实也不是这么火爆，花的时间多不一定
出活 |
M***y
发帖数: 2252 | 18 vmm似乎也是搭tb些stimulus啊 和direct test区别是什么？
methodology好多啊 vmm avm/ovm 据说还要出一个uvm...各家都在争着让自己成为标准
【在 x**1 的大作中提到】
: formal verification 和 verification 应该totally 两马事情。fv现在根本不需要学
: 什么东西全都是tool来的。
: verification 分的是functional verification还是direct test. direct test 就像
: 实际应用一样,主要搭系统写testbench写c
: function verification看个vmm吧 但这玩意其实也不是这么火爆，花的时间多不一定
: 出活
|
f*********r
发帖数: 674 | 19 formal verification is easy for small blocks... but for big blocks, it's not
so trivial... not as easy as u think of
【在 x**1 的大作中提到】
: formal verification 和 verification 应该totally 两马事情。fv现在根本不需要学
: 什么东西全都是tool来的。
: verification 分的是functional verification还是direct test. direct test 就像
: 实际应用一样,主要搭系统写testbench写c
: function verification看个vmm吧 但这玩意其实也不是这么火爆，花的时间多不一定
: 出活
|
