The RESCUE Approach - Towards Compositional Hardware/Software Co-verification
The RESCUE Approach - Towards Compositional Hardware/Software Co-verification
复制标题
RESCUE 方法 - 实现组合硬件/软件协同验证
DOI：
10.1109/hpcc.2014.109
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Paula Herber
中科院分区：
文献类型：
--
作者：
Paula Herber
登录
查看更多内容
通过通信状态机形式化 TLM
DOI：
--
发表时间：
2006
期刊：
Forum on Specification and Design Languages
影响因子：
--
作者：
B. Niemann;C. Haubelt
通讯作者：
C. Haubelt
对 AMBA AHB 协议的 SystemC/TLM 设计进行模型检查
DOI：
--
发表时间：
2011
期刊：
2011 9th IEEE Symposium on Embedded Systems for Real-Time Multimedia
影响因子：
--
作者：
Marcel Pockrandt;Paula Herber;S. Glesner
通讯作者：
S. Glesner
模型检查硬件/软件协同设计的内存相关属性
DOI：
10.1007/978-3-642-38853-8_9
发表时间：
2013
期刊：
2018 19th International Symposium on Quality Electronic Design (ISQED)
影响因子：
--
作者：
Marcel Pockrandt;Paula Herber;V. Klös;S. Glesner
通讯作者：
S. Glesner
基于 SAT 的可编程逻辑控制器抽象细化
DOI：
10.1109/dcds.2011.5970325
发表时间：
2011
期刊：
2011 3rd International Workshop on Dependable Control of Discrete Systems
影响因子：
--
作者：
Sebastian Biallas;Jörg Brauer;S. Kowalewski
通讯作者：
S. Kowalewski
使用有界模型检查对嵌入式系统进行硬件/软件协同验证
DOI：
--
发表时间：
2006
期刊：
ACM Great Lakes Symposium on VLSI
影响因子：
--
作者：
Daniel Große;U. Kühne;R. Drechsler
通讯作者：
R. Drechsler