除了黑盒化,优化FPV设计复杂度的另一个方法是减小设计参数,例如数据位宽、FIFO深度等等。能够减小某个设计参数的前提就是针对不同参数的处理逻辑是相同的,所以你需要问自己一个问题:我减小了这个参数影响了我对这个设计的证明么?相比黑盒化,减小设计参数其实就是改变了设计本来的面目,即减小设计参数以优化复杂度是不安全的,可能导致假pass。所以,这个方案需要和设计密切合作,保证参数化设计并且检视确认减小相应的参数不影响对设计逻辑功能的full proven。 查看全文