70808876

a

70808876 Gro{\ss}e, Daniel K\"uhne, Ulrich Drechsler, Rolf HW/SW co-verification of a RISC CPU using bounded model checking MTV, 133-137 (2005). 2005 EN

http://doi.ieeecomputersociety.org/10.1109/MTV.2005.12