Generation of Formal CPU Profiles for Embedded Systems
Generation of Formal CPU Profiles for Embedded Systems
复制标题
生成嵌入式系统的正式 CPU 配置文件
DOI：
10.1109/vlsi-soc54400.2022.9939572
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Wolfgang Kunz
中科院分区：
文献类型：
--
作者：
Stian Sørensen;Christian Bartsch;Dominik Stoffel;Wolfgang Kunz
登录
查看更多内容
一种新的依赖于硬件的嵌入式系统软件形式化验证方法
DOI：
10.2197/ipsjtsldm.6.135
发表时间：
2013
期刊：
IPSJ Trans. Syst. LSI Des. Methodol.
影响因子：
--
作者：
Bernard Schmidt;Carlos Villarraga;Thomas Fehmel;J. Bormann;Markus Wedler;Minh D. Nguyen;D. Stoffel;W. Kunz
通讯作者：
W. Kunz
IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems 1 模拟和消除：自动生成特定应用架构的自顶向下设计方法
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
A. Irturk;J. Matai;J. Oberg;Jeffrey Su;R. Kastner
通讯作者：
R. Kastner
属性驱动的精简 ISA 硬件自动生成
DOI：
10.1109/dac18074.2021.9586090
发表时间：
2021
期刊：
2021 58th ACM/IEEE Design Automation Conference (DAC
影响因子：
--
作者：
Bleier, Nathan;Sartori, John;Kumar, Rakesh
通讯作者：
Kumar, Rakesh
DOI：
--
发表时间：
2008
期刊：
2008 45th ACM/IEEE Design Automation Conference
影响因子：
--
作者：
B. Gorjiara;D. Gajski
通讯作者：
D. Gajski
使用抽象解释的嵌入式系统中的组合故障传播分析
DOI：
10.1109/itc50571.2021.00057
发表时间：
2021
期刊：
2021 IEEE International Test Conference (ITC)
影响因子：
--
作者：
Daniel Kästner;Stephan Wilhelm;Christian Bartsch;Dominik Stoffel;Wolfgang Kunz
通讯作者：
Wolfgang Kunz