hardware description languages; specification languages; hardware-software codesign; formal models; system design; systems packaging; hardware design; software design; hardware design languages; VHDL; SDL; SystemC; hardware-software role exchanges; hardware/software co-design;
机译:SystemCFL:硬件/软件协同设计的正式规范和分析
机译:复杂嵌入式系统的硬件/软件共同设计 - 一种使用高效流程模型,多种形式主义规范和通过共模验证的方法
机译:基于形式功能模型的机电系统软件 - 物理协同设计方法
机译:用于系统设计的正式模型(在进入系统包装的硬件和软件之间的主要角色交换方面的挑战)
机译:气调包装(MAP)系统的设计:包含切碎的大头菜的包装内的氧气和二氧化碳交换模型。
机译:概念问题和标准。医疗硬件软件和信息交换标准:医疗数据交换的通用参考模型-P1157 MEDIX系统架构
机译:用于开发和验证形式富裕模型的方法和工具,用于复杂软件和硬件系统的要求和架构
机译:航天飞机主机定量风险评估:使用新的QRa软件包说明复杂系统的建模