热搜关键词: 机器人电路基础模拟电子技术matlablinux内核

pdf

非经典切片优化的同步运行时检验方法

  • 1星
  • 2013-09-22
  • 107.45KB
  • 需要2积分
  • 0次下载
标签: 非经典切片优化的同步运行时检验方法

非经典切片优化的同步运行时检验方法

利用现有的同步IP  核来构建全局异步局部同步系统是未来片上系统设计的一个重要发展方向。在整个设计流程中,正确的接口设计和同步问题是至关重要的。该文提出一种改进的抽象时序图与基于计算切片优化技术的谓词检测方法相结合的同步验证技术。该技术可以使待检查的全局状态空间的规模指数级缩减,使验证效率得到提高。关键词:非经典切片;计算切片;全局异步局部同步系统;谓词检测;偏序迹

展开预览

评论

登录/注册

意见反馈

求资源

回顶部

推荐内容

开源项目推荐 更多

热门活动

热门器件

随便看看

  • 如何区分电压串联负反馈电路和电流串联负反馈电路
    负反馈放大电路从输出端的取样方式可以分为电压反馈和电流反馈 从输入端的接入电路的方式可以分为串联反馈和并联反馈。 最简单的区分方法是:若输出端的反馈取样点跟输出在同一点的话就是电压反馈,不在同一点的话就是电流反馈;在输入端,如果反馈信号和输入信号接在同一输入端的话就是以电流的形式参与计算,是电流负反馈,如果反馈信号和输入信号接在放大电路的不同端子上的话,那么就是以电压形式参与运算,是电压负反馈。将
  • 我遇到过的两个武汉科技大学素质很低的人
    这是我自己遇到过的,碰巧还都是武汉科技大学的,我首先想问一下,武汉科技大学是很好的学校吗?学校的人都是“天才”还是咋低呀!~装啥呀(我针对部分人)!~先说第一个。记得是去年的这个时候吧,在一个嵌入式的讨论群里,有人提问题,我就说了下自己的想法,然后有一个网友加我QQ说是群里的朋友,我心想,加就加呗,还可以讨论一下技术!~这个可到好,和我说的每一句话里面都有脏字,搞的我挺郁闷的,遇到这么一个低素质的
  • 【藏书阁】51 常用子程序
    自动往返小汽车中断应用在线下载器源程序源程序应用类音乐移位除延时显示子程序通讯数字频率计数字多用表实用子程序软件工程频率计排序类排序滤波抗干扰交通灯键盘与显示类键盘扫描程序汇编与C的衔接二进制数运算定时与中断类定浮点子程序库电机控制电机PWM控制单片机直接驱动液晶显示单片机经验谈代码转换代码运算类打印串行通信查表步进电机控制步进电机编程规范与范例LED显示I2C总线DES算法演示C51_TABLE
  • 利用蓝牙技术和远程信息控制单元实现汽车诊断
    随着汽车中多媒体设备的增加,如CD/DVD播放器、数字电视等,连接这些设备的车内网包括:蓝牙、CAN、D2B、FireWire、MOST、移动媒介链路(MML)、LIN和ZigBee等等,本文介绍一种基于蓝牙技术的、用于遥控诊断接口的架构,它使测试工程师无论处在车内或车外的任何位置,都可以监控和操作汽车的传感器及控制单元完成测试任务。未来的远程诊断系统将为汽车的动力控制器提供前所未有的访问途径,无
  • MSP430register_guide常用模块原理
    MSP430register_guide常用模块原理.:)
  • 《超人归来》迅雷下载地址
  • VS编译环境的构建
  • 液晶模块的抗静电知识(一)
  • 指南:MT-046:运算放大器建立时间
  • 人工智能复杂问题求解的结构和策略(原书第6版)

 
EEWorld订阅号

 
EEWorld服务号

 
汽车开发圈

电子工程世界版权所有 京B2-20211791 京ICP备10001474号-1 电信业务审批[2006]字第258号函 京公网安备 11010802033920号 Copyright © 2005-2024 EEWORLD.com.cn, Inc. All rights reserved
×