Approach for a Formal Verification of a Bit-serial Pipelined Architecture.

Henning Zabel Achim Rettberg Alexander Krupp Approach for a Formal Verification of a Bit-serial Pipelined Architecture. 47-56 2007 conf/iess/2007 IESS http://dx.doi.org/10.1007/978-0-387-72258-0_5 db/conf/iess/iess2007.html#ZabelRK07