Sergej Sawitzki Rainer G. Spallek Jens Schönherr Bernd Straube Formal Verification for Microprocessors with Extendable Instruction Set. 47-55 2000 conf/asap/2000 ASAP http://doi.ieeecomputersociety.org/10.1109/ASAP.2000.862377 db/conf/asap/asap2000.html#SawitzkiSSS00