排序方式： 共有1条查询结果，搜索用时 0 毫秒
1
1.
嵌入式系统描述与验证环境的实现 总被引：5，自引：1，他引：5
首先，用统一建模语言(UML)中的状态图描述系统在整个活动周期中所处的不同的状态，活动图表示状态图中每个进程的功能，对象约束语言(OCL)描述系统中的约束条件；然后，用自行开发的软件UML2SC将UML描述的系统转换成SystemC代码，以完成系统的模拟验证；并介绍了该方法的一个应用实例。 相似文献
1