-
公开(公告)号：CN119883854A
公开(公告)日：2025-04-25
申请号：CN202411484578.9
申请日：2024-10-23
Applicant: 南京大学
IPC: G06F11/3604 , G06F8/10 , G06F8/75
Abstract: 本发明公开了一种基于Parcel框架加速中断驱动实时系统时序验证方法，包括以下步骤：(1)对中断驱动的实时系统模型中的时序片段进行Parcel抽象，生成Parcel单元；(2)利用Parcel消除技术去除验证过程中不可观察的Parcel片段；(3)通过时区截断技术，对时序模型中的时序片段进行优化，缩减验证路径；(4)执行Parcel序列修剪技术，根据Parcel序列的可达性和重要性，修剪不必要的时序片段；(5)将优化后的模型输入验证工具进行时序规范的验证；本发明提升了验证速度，特别适用于大规模中断驱动实时系统的时序验证。
Search Results
1
records
(took 0.065 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
