时间：2025-04-20 来源：FPGA_UCY 关于我们 0
本发明专利技术提供了一种结合系统仿真及FPGA测试的数字验证方法，其包括如下步骤：a.将原FPGA测试程序对应的第一程序语言转换成与原系统仿真程序相同的第二程序语言，以形成第二系统仿真程序；b.运行第二系统仿真程序，以形成第二仿真验证结果；c.对比第二仿真验证结果与原仿真验证结果的差异，获得第一对比结果；d.根据第一对比结果判定原FPGA测试程序是否存在问题。本发明专利技术方案可快速而有效地找出两边(FPGA测试与系统仿真)配置的区别差异并判定问题的存在位置，大大减轻沟通的成本，节约了确认问题节点所需的时间，提高了仿真与验证效率。相应地，本发明专利技术还公开了一种结合系统仿真及FPGA测试的数字验证系统。
全部详细技术资料下载
【技术实现步骤摘要】
本专利技术涉及数字验证领域，更具体地涉及一种结合系统仿真及fpga测试的数字验证系统和方法。
技术介绍
1、随着集成电路技术的发展与市场需求的扩张，电路的功能以及规模都变得越来越庞大复杂。为了保证电路的正确性和功能的完整实现，往往对验证与测试人员有着较高的需求。
2、具体来说，数字验证人员主要通过系统仿真对代码内部进行详细完整的验证，而fpga测试人员则是将程序烧录至fpga上进行更贴合现实情况的测试，两者缺一不可，互不干涉而又互补互利。
3、在这种情况下，实际工作中就往往会出现这么一种现象，即fpga测试人员测试出了某些问题需要数字验证人员这边通过系统仿真来复现bug并确定程序存在问题的地方，又或是通过仿真排除代码这边有问题的可能，以便于fpga测试人员只需要寻找自己的问题。
4、但是系统仿真和fpga测试本身行为逻辑和思路存在着客观差异，目前业内往往在遇到这种情况后需要让fpga测试人员单独再写一份只针对于仿真的程序代码，这份程序代码和在fpga上所用的程序差异很大，不能完成反应原程序(fpga上所用的程序)的真实情况，然后数字验证人员将其放入rom中分析仿真结果，放入rom中的文件为二进制文件，是不可读的，只能进行仿真，不能进行分析修改。这种做法会因为两边的差异性导致耗费很多时间，而且单独再写的程序本身也会存在着产生新问题的可能，以及它也未必能够完全体现fpga测试过程中实际所遇到的问题。
5、因此，有必要提供一种在磁头与悬臂件之间以一种改进的连接方式连接的磁头折片组合，制造该改进的磁头折片组合的方法来克服上述缺陷。
技术实现思路
1、本专利技术的目的是提供一种结合系统仿真及fpga测试的数字验证系统和方法，可快速而有效地找出两边(fpga测试与系统仿真)配置的区别差异并判定问题的存在位置，大大减轻沟通的成本，节约了确认问题节点所需的时间，提高了仿真与验证效率。
2、为实现上述目的，本专利技术提供了一种结合系统仿真及fpga测试的数字验证方法，其包括如下步骤：a.将原fpga测试程序对应的第一程序语言转换成与原系统仿真程序相同的第二程序语言，以形成第二系统仿真程序；b.运行第二系统仿真程序，以形成第二仿真验证结果；c.对比第二仿真验证结果与原仿真验证结果的差异，获得第一对比结果；d.根据第一对比结果判定原fpga测试程序是否存在问题。
3、较佳地，在所述步骤b中具体地，将所述第二系统仿真程序替换原系统仿真程序，并运行所述第二系统传真程序。
4、较佳地，分析所述第一对比结果，若原仿真验证结果与第二仿真验证结果一致，则判定所述原fpga测试程序存在有问题。
5、较佳地，分析所述第一对比结果，若第一仿真验证结果与第二仿真验证结果不一致，则判定所述原fpga测试程序不存在有问题，分析其它情况。
6、较佳地，通过传真波形分析存在问题的情况。
7、较佳地，本专利技术的结合系统仿真及fpga测试的数字验证方法，还包括步骤：将原系统仿真程序对应的第二程序语言转换成与原fpga测试程序相同的第一程序语言，形成第二fpga测试程序，运行所述第二fpga测试程序，获得第二测试结果，对比第二测试结果与原测试结果，以形成第二对比结果，根据第二对比结果判定原系统仿真程序是否存在问题。
8、同时，本明还提供了一种结合系统仿真及fpga测试的数字验证系统，其包括系统仿真模块、fpga测试模块、程序语言转换模块、对比模块；所述系统仿真模块用以保存并运行原系统仿真程序以得到原仿真验证结果，所述fpga测试模块用以保存并运行原fpga测试程序以得到原测试结果，所述程序语言转换模块将原fpga测试程序对应的第一程序语言转换成与原系统仿真程序相同的第二程序语并形成第二系统仿真程序，所述系统仿真模块运行对应的第二系统仿真程序并得到第二仿真验证结果，所述对比模块对比第二仿真验证结果与原仿真验证结果的差异，并获得第一对比结果，根据第一对比结果以判定原fpga测试程序是否有问题。
9、较佳地，所述程序语言转换模块包括第一转换模块与第二转换模块，所述第一转换模块将原fpga测试程序对应的第一程序语言转换成与原系统仿真程序相同的第二程序语言，所述第二转换模块将原系统仿真程序对应的第二程序语言转换成与原fpga测试程序相同的第一程序语言，以形成第二fpga测试程序。
10、较佳地，所述fpga测试模块还运行第二fpga测试程序，并获得第二测试结果。
11、较佳地，所述对比模块还对比所述原测试结果与第二测试结果，以获得第二对比结果，根据第二对比结果以判定原系统仿真程序是否有问题。
12、与现有技术相比，本专利技术的结合系统仿真及fpga测试的数字验证系统和方法通过将原fpga测试程序转换为与原系统仿真程序相同语言的程序，同时还可将原系统仿真程序转换为与原fpga测试程序相同语言的程序，保证了思路的一致性，并分别运行经过转换后的程序，然后分别将原运行结果与转换后运行的结果进行对比，通过对比结果找出两边(fpga测试与系统仿真)配置的区别差异，大大减轻沟通的成本，节约了确认问题节点所需的时间，提高了仿真与验证效率；且所述验证系统可作为单独外挂程序嵌入到其它类似的验证环境框架内，极大提升了移植性；另外，通过本专利技术的方案不需要修改测试用例及验证环境，在原有环境下的测试用例能够直接运行，使验证的便利性提高，提高验证效率。
13、通过以下的描述并结合附图，本专利技术将变得更加清晰，这些附图用于解释本专利技术的实施例。
【技术保护点】
1.一种结合系统仿真及FPGA测试的数字验证方法，其特征在于，包括如下步骤：
2.如权利要求1所述的结合系统仿真及FPGA测试的数字验证方法，其特征在于，在所述步骤b中具体地，将所述第二系统仿真程序替换原系统仿真程序，并运行所述第二系统传真程序。
3.如权利要求2所述的结合系统仿真及FPGA测试的数字验证方法，其特征在于，分析所述第一对比结果，若原仿真验证结果与第二仿真验证结果一致，则判定所述原FPGA测试程序存在有问题。
4.如权利要求3所述的结合系统仿真及FPGA测试的数字验证方法，其特征在于，分析所述第一对比结果，若第一仿真验证结果与第二仿真验证结果不一致，则判定所述原FPGA测试程序不存在有问题，分析其它情况。
5.如权利要求3所述的结合系统仿真及FPGA测试的数字验证方法，其特征在于，通过传真波形分析存在问题的情况。
6.如权利要求1所述的结合系统仿真及FPGA测试的数字验证方法，其特征在于，还包括步骤：将原系统仿真程序对应的第二程序语言转换成与原FPGA测试程序相同的第一程序语言，形成第二FPGA测试程序，运行所述第二FPGA测试程序，获得第二测试结果，对比第二测试结果与原测试结果，以形成第二对比结果，根据第二对比结果判定原系统仿真程序是否存在问题。
7.一种结合系统仿真及FPGA测试的数字验证系统，其特征在于，包括系统仿真模块、FPGA测试模块、程序语言转换模块、对比模块；所述系统仿真模块用以保存并运行原系统仿真程序以得到原仿真验证结果，所述FPGA测试模块用以保存并运行原FPGA测试程序以得到原测试结果，所述程序语言转换模块将原FPGA测试程序对应的第一程序语言转换成与原系统仿真程序相同的第二程序语并形成第二系统仿真程序，所述系统仿真模块运行对应的第二系统仿真程序并得到第二仿真验证结果，所述对比模块对比第二仿真验证结果与原仿真验证结果的差异，并获得第一对比结果，根据第一对比结果以判定原FPGA测试程序是否有问题。
8.如权利要求7所述的结合系统仿真及FPGA测试的数字验证系统，其特征在于，所述程序语言转换模块包括第一转换模块与第二转换模块，所述第一转换模块将原FPGA测试程序对应的第一程序语言转换成与原系统仿真程序相同的第二程序语言，所述第二转换模块将原系统仿真程序对应的第二程序语言转换成与原FPGA测试程序相同的第一程序语言，以形成第二FPGA测试程序。
9.如权利要求8所述的结合系统仿真及FPGA测试的数字验证系统，其特征在于，所述FPGA测试模块还运行第二FPGA测试程序，并获得第二测试结果。
10.如权利要求9所述的结合系统仿真及FPGA测试的数字验证系统，其特征在于，所述对比模块还对比所述原测试结果与第二测试结果，以获得第二对比结果，根据第二对比结果以判定原系统仿真程序是否有问题。
【技术特征摘要】
1.一种结合系统仿真及fpga测试的数字验证方法，其特征在于，包括如下步骤：
2.如权利要求1所述的结合系统仿真及fpga测试的数字验证方法，其特征在于，在所述步骤b中具体地，将所述第二系统仿真程序替换原系统仿真程序，并运行所述第二系统传真程序。
3.如权利要求2所述的结合系统仿真及fpga测试的数字验证方法，其特征在于，分析所述第一对比结果，若原仿真验证结果与第二仿真验证结果一致，则判定所述原fpga测试程序存在有问题。
4.如权利要求3所述的结合系统仿真及fpga测试的数字验证方法，其特征在于，分析所述第一对比结果，若第一仿真验证结果与第二仿真验证结果不一致，则判定所述原fpga测试程序不存在有问题，分析其它情况。
5.如权利要求3所述的结合系统仿真及fpga测试的数字验证方法，其特征在于，通过传真波形分析存在问题的情况。
6.如权利要求1所述的结合系统仿真及fpga测试的数字验证方法，其特征在于，还包括步骤：将原系统仿真程序对应的第二程序语言转换成与原fpga测试程序相同的第一程序语言，形成第二fpga测试程序，运行所述第二fpga测试程序，获得第二测试结果，对比第二测试结果与原测试结果，以形成第二对比结果，根据第二对比结果判定原系统仿真程序是否存在问题。
7.一种结合系统仿真及fpga测试的数字验证系统，其特征在于，包括系统仿真模...
【专利技术属性】
技术研发人员：田淼，
申请(专利权)人：四川和芯微电子股份有限公司，
类型：发明
国别省市：
全部详细技术资料下载 我是这个专利的主人
