一种可以重构泛化的激励编写方法技术

本发明专利技术说明了一种可以重构泛化的激励编写方法。包括：程序段松紧耦合关系划分、紧耦合关系程序生成、各个紧耦合关系程序生成最终程序。此方法可以从单一验证程序衍生出多种复合程序，提高验证的覆盖面，减少人为原因导致的遗漏。遗漏。遗漏。

【技术实现步骤摘要】
一种可以重构泛化的激励编写方法


[0001]本专利技术涉及集成电路仿真验证领域，具体是指重构泛化的激励编写方法。

技术介绍

[0002]随着集成电路技术不断发展，芯片规模不断增大，功能不断增加，对验证的要求也逐年提高，单纯的定向验证已经达不到验证目标，需要通过其他技术方法覆盖更多的验证面。

技术实现思路

[0003]这种可以重构泛化的编写方法，其主要特征是按照松紧耦合程序段划分生成不同类别的程序段，以文件或函数划分成类；紧耦合程序段可以进行泛化衍生，松耦合程序段之间进行拼接衍生。
[0004]松紧耦合程序段划分生成，程序中耦合性强或相关性强的程序段划到一个文件，可划分为多个文件，一个文件属于一个程序集或函数集，文件和文件之间为松耦合。一个文件中程序段或函数小于5个更为合理。
[0005]紧耦合程序段或函数可以进行泛化衍生，每个紧耦合文件中的程序段可排列或组合或其他特定算法进行组合产生新的程序文件。
[0006]松耦合程序段之间可以进行组合衍生，松耦合之间的程序文件可使用但不限于随机配对、顺序重组的方式生成本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种可以重构泛化的激励编写方法，其特征是：松紧耦合程序段划分生成，紧耦合程序段泛化衍生，松耦合程序段之间组合衍生。2.根据权利要求1所述方法，其特征在于所述松紧耦合程序段划分生成，程序中耦合性强或相关性强的程序段划到一个文件，可划分为多个文件，一个文件属于一个程序集，文件和文件之间为松耦合；一个文件中程序段小于5个更为合理。...

【专利技术属性】
技术研发人员：王俊军，王曙光，
申请(专利权)人：北京中电华大电子设计有限责任公司，
类型：发明
国别省市：