Formal Co-Validation of Low-Level Hardware/Software Interfaces

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 requir...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Horn, A, Tautschnig, M, Val, C, Liang, L, Melham, T, Grundy, J, Kroening, D, IEEE
Fformat:	Conference item
Cyhoeddwyd:	2013

Formal co−validation of low−level hardware/software interfaces gan Horn, A, Tautschnig, M, Val, C, Liang, L, Melham, T, Grundy, J, Kroening, D

Cyhoeddwyd 2013

Conference item

Formal Co-Validation of Low-Level Hardware/Software Interfaces

Formal co−validation of low−level hardware/software interfaces gan Horn, A, Tautschnig, M, Val, C, Liang, L, Melham, T, Grundy, J, Kroening, D

Eitemau Tebyg