@inproceedings{8ebffbd4431f452e9d0dd0aeb4625fc6,
title = "HW/SW co-verification of a RISC CPU using bounded model checking",
abstract = "Today, the underlying hardware of embedded systems is often verified successfully. In this context formal verification techniques allow to prove the correctness. But in embedded system design the integration of software components becomes more and more important. In this paper we present an integrated approach for formal verification of hardware and software. The approach is demonstrated on a RISC CPU. The verification is based on bounded model checking. Besides correctness proofs of the underlying hardware the hardware/software interface and programs using this interface can be formally verified.",
author = "Daniel Gro{\ss}e and Ulrich K{\"u}hne and Rolf Drechsler",
year = "2005",
month = jan,
day = "1",
doi = "10.1109/MTV.2005.12",
language = "English",
isbn = "0769526276",
series = "Proceedings - International Workshop on Microprocessor Test and Verification",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "133--137",
booktitle = "Proceedings - Sixth International Workshop on Microprocessor Test and Verification",
note = "2005 6th International Workshop on Microprocessor Test and Verification ; Conference date: 03-11-2005 Through 04-11-2005",
}