Luka Charvat, Ales Smrcka, Tomás Vojnar. Automatic Formal Correspondence Checking of ISA and RTL Microprocessor Description. In 13th International Workshop on Microprocessor Test and Verification, MTV 2012, Austin, TX, USA, December 10-13, 2012. pages 6-12, IEEE Computer Society, 2012. [doi]
Abstract is missing.