课题基金 / 基金详情

Hardware System Design with Behavior Tables

Hardware System Design with Behavior Tables
使用行为表的硬件系统设计
批准号:
9610358
负责人:
Steven Johnson
金额:
$28.2万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1997
资助国家:
美国
项目状态:
已结题
起止时间:
1997-06-15 至 2001-05-31

项目摘要

项目成果

Steven Johnson的其他基金

相似基金

相关文献

中文摘要
翻译
人类管理复杂设计过程的智力能力不断受到VLSI技术规模和种类的进步、合成和验证工具的日益复杂以及不断升级的上市时间压力的阻碍。本研究致力于将高层系统规格说明分解成可综合组件的推理支持工具。基本格式足够严格,足以支持,在某些情况下取代正式的核查任务。人类交互的中心是PI开发的一种新的表格表示法,其同步语义与高级综合中的预期模型相匹配。由此产生的软件包括一个用于将行为表动画化并将其映射到现有合成语言的系统,一个用于交互地构建和操作行为表的图形界面,以及一个用于转换和推理行为表的集成形式系统。这些组件可以单独使用,也可以组合使用。该软件广泛而自由地分发,是基于方案的建模工具库的一部分。
英文摘要
Human intellectual capacity to manage complex design processes is continually thwarted by advances in scale and variety of VLSI technologies, increasing sophistication of synthesis and verification tools, and escalating time-to-market pressures. This research focuses on reasoning support tools for decomposing high-level system specifications into synthesizable components. The underlying format is rigorous enough to support, and in some cases supplant, formal verification tasks. Human interaction centers on a novel tabular notation developed by the PI, whose synchronous semantics matches the intended models in high level synthesis. Resulting software includes a system for animating behavior tables and mapping them to existing synthesis languages, a graphical interface for interactively building and manipulating behavior tables, and an integrated formal system for transforming and reasoning about them. These components can be used individually or in combination. The software is widely and freely distributed and is part of a repository of Scheme-based modeling tools.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Alaska Tech Learners: A Collaboration to Teach College Courses in Software Engineering to High School Students
Sensors for clean water: a participatory approach for technology innovation
  • 批准号:
    EP/P027571/1
  • 项目类别:
    Research Grant
  • 资助金额:
    $150.61万
  • 财政年份:
    2017
  • 负责人:
    Steven Johnson
  • 依托单位:
DISSERTATION RESEARCH: Influence of environmental variables on gene flow, population structure and disease transmission in the gopher tortoise Gopherus polyphemus
  • 批准号:
    0910184
  • 项目类别:
    Standard Grant
  • 资助金额:
    $0.0万
  • 财政年份:
    2009
  • 负责人:
    Steven Johnson
  • 依托单位:
Comparative Phylogeography of Central African Duikers
  • 批准号:
    0516425
  • 项目类别:
    Standard Grant
  • 资助金额:
    $0.0万
  • 财政年份:
    2006
  • 负责人:
    Steven Johnson
  • 依托单位:
国内基金
海外基金
基于铁死亡探讨黄芪甲苷调控System/Xc-/GSH/GPX4信号通路在神经损伤性勃起功能障碍治疗中的作用及机制研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2025
  • 负责人:
    马轲
  • 依托单位:
Data-driven Recommendation System Construction of an Online Medical Platform Based on the Fusion of Information
TBX1/LKB1轴阻断system Xc活性调控AML细胞铁死亡的机制研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    15.0万元
  • 批准年份:
    2024
  • 负责人:
  • 依托单位:
TET2通过调控BAP1-System Xc-轴促进紫拉非尼诱导的肝细胞癌铁死亡的机制研究
  • 批准号:
    --
  • 项目类别:
    青年科学基金项目
  • 资助金额:
    --
  • 批准年份:
    2024
  • 负责人:
    --
  • 依托单位: