Register Isolation for Synthesizable Register Files. - Matthias Müller 002; Andreas Wortmann 002; Dominik Mader; Sven Simon 001 (PATMOS, 2004)