基于模拟的SoC 功能验证研究

姚爱红, 孙盟哲, 袁莉娜 - 微电子学与计算机, 2013 - journalmc.com
基于模拟的验证技术在SoC 等复杂数字系统功能验证中一直占据统治地位.
模拟激励产生的速度和质量是决定验证过程收敛速度的关键因素, 覆盖率信息定量地表示了验证 …

An Efficient Event Generation Method for Testing a SOC with Multiple Processing Elements and Associated Peripherals

DK Bakchowde, KAS Nanda - 2010 11th International …, 2010 - ieeexplore.ieee.org
For a time invariant system with finite possible events, the possible scenarios are defined by
the relative delays between the events. For testing the system, all the nonredundant …

An Efficient Overlapping Event Generation Method for Symmetric System Testing

DK Bakchowde, NK AS - 2011 12th International Workshop on …, 2011 - ieeexplore.ieee.org
In a time invariant system with finite events, the possible scenarios are defined by the events
and the relative delay between the events. System behavior testing with overlapping events …