Hardware Software Co-verification in Hybrid QEMU/HDL Environment Author(s): Radoslaw Nawrot and Krzysztof Szczur Download