数字集成电路的测试方法（理论）

一般从理论上说，对数字集成电路，其测试应该有哪些方面和步骤呢?
作为一个使用systemverilog语言的程序验证工程师的话，从得到一个工程开始，应该通过哪些流程以达到验证的目的呢?
（对于验证人员，工程应该是个黑盒子，相应的断言等方式不涉及在原设计内插入）