咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 2 篇 软件工程

主题

  • 2 篇 时段逻辑
  • 1 篇 分布式实时系统
  • 1 篇 指称语义
  • 1 篇 程序设计语言
  • 1 篇 sl规范语言
  • 1 篇 硬件描述语言
  • 1 篇 vhdl
  • 1 篇 设计
  • 1 篇 一种扩展方法
  • 1 篇 轨迹逻辑

机构

  • 1 篇 华东理工大学
  • 1 篇 浙江大学

作者

  • 1 篇 屠梅红
  • 1 篇 严晓浪
  • 1 篇 虞慧群
  • 1 篇 王维维

语言

  • 2 篇 中文
检索条件"主题词=时段逻辑"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
分布式实时系统设计的一种扩展方法
收藏
分享
引用
华东理工大学学报（自然科学版） 2002年 第3期28卷 289-293页
作者： 屠梅红 虞慧群 华东理工大学计算机科学与工程系 上海200237
介绍了分布式实时系统设计的一种扩展方法。在转化设计的基础上 ,支持系统的扩展及系统规范的改变。新的系统需求规范使用轨迹逻辑 ( Trace logic)描述系统轨迹 ,用 DCI( Durationcalculus implementable)描述其对时间的要求 ,在原有的... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
硬件描述语言VHDL指称语义的研究
收藏
分享
引用
微电子学与计算机 2002年 第11期19卷 61-64页
作者： 王维维 严晓浪 浙江大学西溪校区 杭州310028 浙江大学超大规模集成电路研究所 杭州310027
VHDL是一种广泛使用的硬件描述语言。但长期以来缺乏严格的形式语义。文章介绍并分析了若干具有代表性的VHDL指称语义的研究工作。在此基础上,简要介绍了作者提出的基于时段逻辑的VHDL语义的框架时对VHDL指称语义的看法。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件