Abstract:
This article details a methodology to find bugs across multiple abstraction layers of the system, specifically at the hardware-software boundary. The article describes ho...Show MoreMetadata
Abstract:
This article details a methodology to find bugs across multiple abstraction layers of the system, specifically at the hardware-software boundary. The article describes how existing tools can help with such methodology and limitations.
Published in: IEEE Design & Test ( Volume: 38, Issue: 1, February 2021)