Ensuring Consistency between Cycle-Accurate and Instruction Set Simulators

机译：确保循环准确和指令集模拟器之间的一致性

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

The following topics are dealt with: computational complexity; Petri nets; reachability analysis; automata theory; formal verification; decision diagrams; formal specification; data flow computing; search problems; and simulated annealing.

机译：处理以下主题：计算复杂性; Petri网;可达性分析;自动机理论;正式验证;决策图;正式规范;数据流计算;搜索问题;和模拟退火。

著录项

来源
《International Conference on Application of Concurrency to System Design》|2018年|125p|共10页
会议地点
作者
Fatma Jebali; Dumitru Potop-Butucaru;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TP202-53;
关键词
Pipelines; Computational modeling; Instruction sets; Hardware; Analytical models; Semantics; Timing;

机译：管道;计算建模;指令集;硬件;分析模型;语义;时间;

相似文献

外文文献
中文文献
专利

1. Embedded Processor Validation Environment Using a Cycle-Accurate Retargetable Instruction-Set Simulator [J] . HOONMO YANG, MOONKEY LEE Journal of supercomputing . 2005,第1a2期

机译：使用周期精确的可重定向指令集模拟器的嵌入式处理器验证环境
2. Design and Implementation of a Five Stage Pipelining Architecture Simulator for RiSC-16 Instruction Set [J] . Rashidah F. Olanrewaju, Fawwaz E. Fajingbesi, S. B. Junaid, Indian Journal of Science and Technology . 2017,第3期

机译：RiSC-16指令集的五阶段流水线架构模拟器的设计与实现
3. Efficient Asynchronous Interrupt Handling in a Full-System Instruction Set Simulator [J] . Spink Tom, Wagstaff Harry, Franke Bjorn ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2016,第5期

机译：全系统指令集模拟器中的高效异步中断处理
4. Ensuring Consistency between Cycle-Accurate and Instruction Set Simulators [C] . Fatma Jebali, Dumitru Potop-Butucaru International Conference on Application of Concurrency to System Design . 2018

机译：确保周期精确模拟器和指令集模拟器之间的一致性
5. Instruction-Set-Simulator-less Virtual Prototype Framework for Embedded Software Development [D] . Ni, Nick 2011

机译：用于嵌入式软件开发的无指令集仿真器的虚拟原型框架
6. Set-to-set Performance Variation in Tennis Grand Slams: Play with Consistency and Risks [O] . Yixiong Cui, Haoyang Liu, Miguel-Ángel Gómez, 2020

机译：网球大满贯的设定的性能变化：播放一致性和风险
7. Ensuring Consistency between Cycle-Accurate and Instruction Set Simulators [O] . Fatma Jebali, Dumitru Potop-Butucaru 2018

机译：确保循环准确和指令集模拟器之间的一致性
8. VADS Sun4 = PowerPC Simulator, Product no. 2100-01455, Version 6.2. Host: SunSPARCstation 2 (under SunOS 4.1.2) Target VADS PowerPC Instruction Set Simulator, executing on the Host [R] . 1994

机译：VaDs sun4 = powerpC模拟器，产品编号。 2100-01455，版本6.2。主机：sunspaRCstation 2（在sunOs 4.1.2下）目标VaDs powerpC指令集模拟器，在主机上执行

Ensuring Consistency between Cycle-Accurate and Instruction Set Simulators

摘要

著录项

相似文献

相关主题

期刊订阅