专利名称：System design using accurate performance
models
发明人：Krishnan K. Kailas申请号：US14970072申请日：20151215公开号：US10331829B2公开日：20190625
专利附图：
摘要：System design using accurate performance models may include generating,using a processor, a performance verification testbench from a hardware descriptionlanguage design and an automaton and determining, using the processor, a parameter of
the design by analyzing the performance verification testbench using formal verificationmethods. The parameter is provably accurate. A performance model of a system underdesign including the design may be executed. The performance model uses theparameter. A determination may be made, using the processor, whether the systemunder design meets a system requirement according to a comparison of a result ofexecuting the performance model with the system requirement.
申请人：International Business Machines Corporation
地址：Armonk NY US
国籍：US
代理机构：Cuenot, Forsythe & Kim, LLC
更多信息请下载全文后查看
因篇幅问题不能全部显示，请点此查看更多更全内容