A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering Study)

Publisher Website

19 November 2002

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/iceccs.1995.479320

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines
Published by Springer Nature ,1995
A HARDWARE IMPLEMENTATION OF THE APE100 ARCHITECTURE
International Journal of Modern Physics C, 1993
A high performance single chip processing unit for parallel processing and data acquisition systems
Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment, 1993