Sergej Sawitzki, Rainer G. Spallek, Jens Schönherr, Bernd Straube. Formal Verification for Microprocessors with Extendable Instruction Set. In 12th IEEE International Conference on Application-Specific Systems, Architectures, and Processors (ASAP 2000), 10-12 July 2000, Boston, MA, USA. pages 47-55, IEEE Computer Society, 2000. [doi]
Abstract is missing.