数学规划

首页 >数学规划

摘要:利用图论及数学规划方法分析并解决有限状态机验证路径的选择优化,提出一种在仿真验证方法中对SoC有限状态机验证路径进行优化的方法。在C*Core 提供的验证...

有限状态机验证图论数学规划 2007-01-18

在线研讨会

焦点