数学验证

数学验证技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。

资源总数
500

数学验证 热门资料

查看全部 500 份 →

介绍AVM高级验证方法学,讲述了高级验证方法学的实现机制,给出了验证平台中关键component的SystemC实现和SystemVerilog实现

2025-04-16 1 数学验证

为评估国外某车型的副车架是否符合中国的路况,采用计算机仿真与试验相结合手段,通过有限元应力应变分析,计算了制动与加速两种典型工况,并进行了试验验证,成功验证了某副车架结构设计符合中国的路况,提高了计算

2024-04-02 2 数学验证