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

Egon Brger, Giuseppe Del Castillo

Browse the full ICECCS paper archive.