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

Повний опис

Бібліографічні деталі
Автори:	Horn, A, Tautschnig, M, Val, C, Liang, L, Melham, T, Grundy, J, Kroening, D, IEEE
Формат:	Conference item
Опубліковано:	2013

Formal co−validation of low−level hardware/software interfaces за авторством Horn, A, Tautschnig, M, Val, C, Liang, L, Melham, T, Grundy, J, Kroening, D

Опубліковано 2013

Conference item

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

Formal co−validation of low−level hardware/software interfaces за авторством Horn, A, Tautschnig, M, Val, C, Liang, L, Melham, T, Grundy, J, Kroening, D

Схожі ресурси