From Physical Devices to RTL Models: Abstraction and Validation in Hardware Engineering

Wolfgang Ecker, Natalie Simson, Johannes Ecker +1

This paper introduces the foundational principles underlying hardware engineering models and argues that abstraction is their defining characteristic. Because abstraction necessari…