Approach for a Formal Verification of a Bit-serial Pipelined Architecture. - Zabel, Henning; Rettberg, Achim; Krupp, Alexander (2007)