[00292687]基于进程代数的SoC测试方法(登记)
交易价格：
面议
类型：
非专利
技术成熟度：
正在研发
交易方式：
完全转让
技术入股
许可转让
联系人：
林念文
所在地：宁夏回族自治区
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
由哈尔滨师范大学李英梅副教授课题组承担的省自然科学基金项目基于进程代数的SoC测试方法课题日前通过验收。 在省自然科学基金资助下，该课题组围绕着SoC测试方法等方面进行了研究，取得成果如下： 成果1：提出了基于蚁群优化的多时钟域SoC测试调度方法为了解决资源约束(测试通道、测试功耗等)下的多时钟域SoC测试调度问题，构建资源约束图RCG，令所研究的SoC内嵌n个待测核，共有m种测试资源可使用。对于优化测试时间而言，可通过蚁群优化算法寻找具有最优测试时间的通路来实现。SoC测试调度的任务是，要求每个活动都被调度，并且要满足所有的资源约束，从而使峰值功耗约束下多时钟域SoC的测试时间最小。可通过蚁群优化寻找满足峰值功耗约束的最短路径来实现。成果2: 提出了基于博弈论的SoC测试调度SoC 测试调度研究利用现有的测试资源，不产生测试冲突和允许的测试功耗的条件下最小化测试应用时间。由于并行测试会降低测试时间，但由此产生的测试功耗可能会毁坏整个被测系统，因此要考虑测试功耗，还要考虑并行测试所需的资源有限的问题。已有的解决方案不能同时优化多个目标，它们大都是优化一个目标，而把另一个作为约束条件。博弈提供了一种很好解决相互作用的冲突的多目标优化问题的框架。 该课题组已发表期刊论文2篇，会议论文13篇，其中EI收录13篇。在站博士后1名。申请实用新型专利3项，获批3项。科技进步奖二等奖1项，黑龙江省教育厅三等奖两项。
微信公众号
