随着多域功率巨兽被设计到今天的soc中,很容易忽略一个细节。这就是为什么验证比过去重要得多,当检查和一两个电子表格可能就能让你通过。
所以今天你可以得到验证工具来帮助你确保电压是正确的,电平移位和隔离都到位了。但是,在最近的声明中,Jasper声称要更进一步:除了验证权力大厦的静态结构之外,他们还可以验证权力顺序。
他们考虑了设计RTL和功率意图(UPF或CPF),并由此创建了一个可以使用他们的正式技术进行验证的模型。他们说他们可以检查电源优化结构、电源管理和排序。结合他们的其他工具,他们还可以检查,以确保功率优化电路不会搞砸其他设计。
你可以在他们的释放.