首页> 外文OA文献 >An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor

【2h】

An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor

机译：SPARCV8指令集架构的可执行形式化：LEON3处理器的案例研究

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Zhe Hou; David Sanan; Alwen Tiu; Yang Liu; Koh Chuen Hoa;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formalizing SPARCv8 instruction set architecture in Coq [J] . Science of Computer Programming . 2020,第Feba15期

机译：在Coq中正式化SPARCv8指令集架构
2. An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model [J] . Hou Zhe, Sanan David, Tiu Alwen, Journal of Automated Reasoning . 2021,第4期

机译：SPARC指令集架构和TSO内存模型的isabelle / HOL形式化
3. Instruction scheduling and transformation for a VLIW unified reduced instruction set computer/digital signal processor processor with shared register architecture [J] . Cheng-Yu Lee, Min-Chin Hung, Rong-Guey Chang Concurrency and computation: practice and experience . 2014,第1期

机译：具有共享寄存器架构的VLIW统一精简指令集计算机/数字信号处理器处理器的指令调度和转换
4. An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor [C] . Zhe Hou, David Sanan, Alwen Tiu, International symposium on formal methods . 2016

机译：SPARCv8指令集体系结构的可执行形式化：以LEON3处理器为例
5. Design and implementation of an instruction set architecture and an instruction execution unit for the REZ9 coprocessor system [D] . Anderson, Daniel 2014

机译：REZ9协处理器系统的指令集体系结构和指令执行单元的设计和实现
6. Understanding Evolutionary Potential in Virtual CPU Instruction Set Architectures [O] . David M. Bryson, Charles Ofria -1

机译：了解虚拟CPU指令集体系结构中的进化潜力
7. eQASM: An Executable Quantum Instruction Set Architecture [O] . X. Fu, L. Riesebos, M. A. Rol, 2019

机译：EQASM：可执行量子指令集架构
8. EVALUATION OF INSTRUCTION SET PROCESSOR ARCHITECTURE BY PROGRAM TRACING [R] . Amund Lunde 1974

机译：用程序跟踪评估指令集处理器体系结构

An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor

著录项

引文网络

相似文献

相关主题

期刊订阅