id: 70808876
dt: a
an: 70808876
au: Große, Daniel; Kühne, Ulrich; Drechsler, Rolf
ti: HW/SW co-verification of a RISC CPU using bounded model checking
so: MTV, 133-137 (2005).
py: 2005
pu: 
la: EN
cc: 
ut: 
ci: 
li: http://doi.ieeecomputersociety.org/10.1109/MTV.2005.12