汇编器驱动的验证方法学 (ADVM)

本文概述了一种汇编器驱动的验证方法学（ADVM），该方法学由英飞凌科技公司（Infineon Technologies AG）为芯片卡项目创建并实施。该方法学的主要优势在于，仅需极少量的代码重构，即可实现定向测试到新目标及衍生产品的快速移植。因此，显著节省了验证开发的时间和精力。