本文将着眼于藉由更好的产能、效能以及容量来处理百万个逻辑闸以上等级的系统，同时发展以模拟与智财（IP）为基础的验证技术和流程。而这些将建立在现有的工具、语言标准以及现行工程上的知识，方便现有使用者只需要付出最小的代价即可达到所需要求。现行的策略并不够有弹性且规模不够大到应付未来验证所需。而以传递讯号为基础（transaction-based）的测试，协定验证以及可量化的效能将可使得测试只需花费更少的时间。(图一)为新测试解决方案与现有策略的比较。

《图一 以传递讯号为基础的测试与现行策略之比较》

分散式平行处理

在此提出一套可以支援各家模拟器的平行模拟解决方案，此工具称之为SimCluster。 SimCluster同时支援多个模拟器同时运作，借此可以达到更快更迅速的模拟，也借此节省使用者花费在模拟上所需的时间。同时SimCluster除了支援Verilog模型外也支援VHDL、C甚至于Perl模型。参考(图二)
...
...