求助各位前辈大神，FPGA逻辑验证

求助各位前辈大神，现在我要搞FPGA逻辑验证，公司也已经定了synopsys公司的一些工具，现在我想自己提前摸索和熟悉一下，请教各位大神，做逻辑验证的具体流程有哪些，每一个步骤需要用到哪些配套的工具，我以前做逻辑开发的，只做过简单的仿真，对验证这个领域有太多的未知，谢谢各位前辈赐教！

搜索验证