请教各位前辈一些问题

小弟是研一学生，研究方向是电路的等价性验证。我现在有些疑问：
1.我是学数学和计算机出生，对数理逻辑非常在行，所以研究主要停留在理论阶段，教研室从来没有自己设计过大规模电路，通常是找到外面公司设计的电路，然后用设计的验证软件做些试验。但我感觉很少动手做电路的人怎么能做好电路的验证，所以我想问问做电路验证是不是先把电路设计做好?
2.如果我现在想学数字电路设计（fpga/cpld）并达到一定高的水平，前提又是教研室没有相关的项目，要如何做起呢?（我现在已经在学习VHDL/verilog，之后会学system c/verilog.）

您是哪个单位的?

去公司实习

为什么不做和研究方向相关的事情?
你的研究方向不是形式验证吗?可以考虑做EDA算法啊。
做验证，语言只是基础，关键还是系统和电路的知识。

自己顶一下！