Procedures for the development of legacy processor systems and a procedure verifying case-study example | IEEE Conference Publication | IEEE Xplore