使用测试、仿真、验证证明和覆盖率指标对芯片设计及电子系统进行验证。
文章认为，现代系统的复杂性使汇总测试和报告变得不够充分，芯片设计团队需要一条验证线程，在整个生命周期内将需求、设置、测试和结果连接起来。文章指出，这种方法的价值取决于需求是否清晰、证据及其上下文是否被记录，而不仅仅取决于工具集成。