Sergej Sawitzki, Jens Schönherr, Rainer G. Spallek, Bernd Straube. Formal Verification of a Reconfigurable Microprocessor. In Reiner W. Hartenstein, Herbert Grünbacher, editors, Field-Programmable Logic and Applications, The Roadmap to Reconfigurable Computing, 10th International Workshop, FPL 2000, Villach, Austria, August 27-30, 2000, Proceedings. Volume 1896 of Lecture Notes in Computer Science, pages 781-784, Springer, 2000. [doi]
Abstract is missing.