An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor-Reference-Cited by-同舟云学术

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

Author:

Hou Zhe,Sanan David,Tiu Alwen,Liu Yang,Hoa Koh Chuen

Publisher

Springer International Publishing

Link

Reference27 articles.

1. ESA LEON processor. http://www.esa.int/Our_Activities/Space_Engineering_Technology/LEON_the_space_chip_that_Europe_built . Accessed 27 Jan 2016

2. K computer. http://www.top500.org/system/177232 . Accessed 27 Jan 2016

3. L3 specification language for ISAs. http://www.cl.cam.ac.uk/~acjf3/l3/ . Accessed 09 Dec 2015

4. LEON3 processor. http://www.gaisler.com/index.php/products/processors/leon3 . Accessed 27 Oct 2015

5. RISC-V architecture. https://riscv.org/ . Accessed 10 Aug 2016

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

2. Validation of Side-Channel Models via Observation Refinement;MICRO-54: 54th Annual IEEE/ACM International Symposium on Microarchitecture;2021-10-17

4. Modular Verification of SPARCv8 Code;Journal of Computer Science and Technology;2020-11