Infineon 与慕尼黑工业大学发布论文：从物理器件到 RTL 模型的硬件设计抽象与验证

Infineon Technologies 与慕尼黑工业大学（TU Munich）研究人员发表技术论文《From Physical Devices to RTL Models: Abstraction and Validation in Hardware Engineering》，探讨硬件工程模型的抽象原理与验证方法。