求介绍verification相关phd项目

lz本科ECE，在地里转了几圈，看到的很多都是analog ic/rf的申请项目，想请问verification这方面有没有什么好的phd项目与学校，求各位大神推荐，十分感谢各位！！

verification 是IC 设计中的一个环节， 类似你写好软件后的测试部分。这个是不可能成为一个phd项目的。。。如果硬算的化，Computer Architecture 算是这个方向的母集。

verification（特别是functional verification)不是算digital IC的范畴吗？我们这有个老师有个Microprocessor Test and Verification组，本来还有个网站，但是最近在维护……

有吧 做formal verification 全是算法，数学模型 爽爽的

LS说的都是simulation based verification，那个方向应该没有Phd

verification就是测试，当黑盒子

我做的是硬件电路的验证，比如乘法器之类的，想请问如果申请PHD的话，有没有比较match的方向？谢各位大神