As the complement to traditional simulation-based verification process, Formal verification methods gain more momentum recently.
形式验证作为传统模拟验证的补充越来越受到重视。
Finally, based on theoretical analysis, numerical simulation and test verification, the strength reduction factor and the calculation expression of normal section bearing capacity of CFRP are given.
最后，在理论分析、数值模拟及试验验证的基础上，给出了CFRP的强度折减系数值和正截面承载力计算表达式。
According to the theory in video compression as well as the simulation and verification requirement in IP core designing, the FPGA based IP core simulation platform is developed.
结合视频压缩的理论以及IP核设计中对于仿真验证的要求，本文设计了视频压缩IP核FPGA仿真验证平台。
应用推荐