请问女生做IC验证职业发展怎么样？

大家好！我现在读研二，研究方向是形式验证。本科和硕士都学的软件，现在由于一些原因现在研究硬件形式验证，明年找工作，想问问大家硬件形式验证的工作如何?我的基础不是很好，现在正在学习数字系统设计和verilog，如果想找验证方向的工作需要增强拿些技能呢?
谢谢~

验证的话，system verilog是要学习的，uvm方法学最好也接触一些。不过你说的形式验证，好像和我们所说的验证不一样吧。

谢谢您的指导！现在就在担心学术研究与实际找工作的技能学习差别太大~所以想学习一些工作上的要求。请问公司里面做形式验证多么?Synopsys和Cadence也有一些形式化验证工具，需要学习么?

形式验证是综合之后的事情了，偏后端了。验证是功能仿真，主流是用uvm搭testbench验证咯，研三毕业狗一枚。

谢谢~我们主要的研究方向是前端的形式验证，主要是功能性质检验~不知道公司目前有这个方向的工作么

我没听说过有公司找人专门做形式验证的，除非synopsys这样的EDA公司。

好的呢~谢谢解答

这个不太清楚，我们一般都是分前端设计、前端验证、综合(包括formality)、place&&route。有机会的话 你可以去外企实习实习，比如nv啊 amd这些。 小公司估计是都要做的

你所说的前端形式验证，应该是formal吧，例如cadence的jasper。这一类验证目前在业界属于比较先进的，他们的思路和UVM这一类的方法学完全不一样，未来的验证一大研究方向，现在很多公司都在introduce这方面的工具和验证流程，个人觉得值得研究。只是做验证的话，不必要只局限于这个，uvm方法学还是必须要会的。两者兼备，找工作更有把握了。

formal check 还是有点窄，很多公司里formality的工作都不会由专门的人做。建议还是扩宽下自己学的东西，可以考虑向前端验证发展，了解些UVM的知识，验证还是很好找工作的

好的呢~谢谢大神指导！

嗯哪我知道啦！谢谢

formal verification现在很热门，Intel、Qcom、ARM、海思、MTK都有专门的formal团队，此外还有专门提供formal property verification service的小公司也很活跃。但话说回来，软件或系统级的formal check工业界和学术界都更活跃，不如考虑稍微转下方向...
其实你这个问题不如去LinedIn上问，这里能分清formal和formality的估计也没几个

人家都不知道你问的是什么吧

楼上说的对，formal还是有点窄，建议SV，但是现在UVM比较多，要不做DFT或是PD比较好，esp PD

DFT 和formal还沾点边，PD差太远了

挺好的啊！

毕业了去海思吧，挺不错的

我们同事里验证的女生1/7左右吧，职业发展一般吧。
现在还是学生，不着急早早把职业就定了，多参加一些社会实践，了解各个行业。
你所研究的对其他行业软件同样受用，但这类软件目前发展太慢，建议早去互联网公司实习吧。
如果真的希望如IC行业，那么验证首先了解的是ARM，AXI，cache等协议。验证的语言等基本语法用几天就会了，学生阶段不需要投入很多精力。
希望对你有用~

想啥呢妹妹, 之前是做软件的就直接投软件/互联网的岗位吧

其实我觉得formal property check主要是RTL设计人员的工作