-
公开(公告)号：CN114091402A
公开(公告)日：2022-02-25
申请号：CN202111175547.1
申请日：2021-10-09
Applicant: 北京中电华大电子设计有限责任公司
IPC: G06F30/398
Abstract: 本发明说明了一种可以重构泛化的激励编写方法。包括：程序段松紧耦合关系划分、紧耦合关系程序生成、各个紧耦合关系程序生成最终程序。此方法可以从单一验证程序衍生出多种复合程序，提高验证的覆盖面，减少人为原因导致的遗漏。
Search Results
1
records
(took 0.027 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
