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...
| Main Authors: | , , , , , , , |
|---|---|
| Format: | Conference item |
| Published: |
2013
|