Conference item icon

Conference item

Formal co−validation of low−level hardware/software interfaces

Abstract:

Today's microelectronics industry is increasingly confronted with the challenge of developing and validating software that closely interacts with hardware. These interactions make it difficult to design and validate the hardware and software separately; instead, a verifiable co-design is required that takes them into account. This paper demonstrates a new approach to co-validation of hardware/software interfaces by formal, symbolic co-execution of an executable hardware model combined with th...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1109/FMCAD.2013.6679400

Authors


Expand authors...
Publisher:
IEEE Publisher's website
Pages:
121-128
Host title:
Formal Methods in Computer-Aided Design (FMCAD), 2013
Publication date:
2013-01-01
DOI:
UUID:
uuid:688f8b3c-3b35-486d-8916-2fd3839aa630
Local pid:
cs:7487
Deposit date:
2015-03-31

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP