首页>
外国专利>
PROCEDURES FOR THE VALIDATION OF SIMULATION RESULTS OF A SYSTEM AND THEIR EXECUTIVE EQUIVALENCE COMPARISON OF DIGITAL SCHOLALS
PROCEDURES FOR THE VALIDATION OF SIMULATION RESULTS OF A SYSTEM AND THEIR EXECUTIVE EQUIVALENCE COMPARISON OF DIGITAL SCHOLALS
展开▼
机译:验证系统仿真结果的程序及其数字学校的执行当量比较
展开▼
页面导航
摘要
著录项
相似文献
摘要
The invention creates a technology for validating simulation results. The quickly growing number of components in modern complex systems often necessitates the introduction of abstractions, that render said systems manageable. However the abstractions, which often are based simplified assumptions, may impair the simulation results. The automatic post-processing method according to the invention safeguards the validity of the result. In most cases this can be reached, without restoring the complete description, which generally is too complex. The method, which is described for the validation of calculated counter-examples in an equivalence comparison of digital circuits can be used in all other applications, that allow for an analagous formalization of the abstraction step.
展开▼