CN110569038A - 随机验证参数设计方法、装置、计算机设备及存储介质 - Google Patents
随机验证参数设计方法、装置、计算机设备及存储介质 Download PDFInfo
- Publication number
- CN110569038A CN110569038A CN201910842148.2A CN201910842148A CN110569038A CN 110569038 A CN110569038 A CN 110569038A CN 201910842148 A CN201910842148 A CN 201910842148A CN 110569038 A CN110569038 A CN 110569038A
- Authority
- CN
- China
- Prior art keywords
- verification
- macro
- parameter
- configuration
- value
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02E—REDUCTION OF GREENHOUSE GAS [GHG] EMISSIONS, RELATED TO ENERGY GENERATION, TRANSMISSION OR DISTRIBUTION
- Y02E60/00—Enabling technologies; Technologies with a potential or indirect contribution to GHG emissions mitigation
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Stored Programmes (AREA)
Abstract
本发明涉及随机验证参数设计方法、装置、计算机设备及存储介质;其中,方法,包括:S1,随机产生编译文件;S2,编译文件内部为验证模块的各类参数配置对应宏的值;S3,将宏的值传递至例化文件;S4,例化文件修改验证模块的参数配置,完成参数配置的验证。本发明使用宏的方式进行参数修改,将这些参数修改的方式由直接修改,变为宏传递,如此,就不用在例化的时候进行文件修改了,所以不需要手动进行修改,只需进行有效设定,让其产生有效的参数组合,且对随机的组合进行收集和整理,以便确认所有组合情况都已覆盖并得到验证,工作量小,管理起来灵活,且简单,能够更好地满足需求。
Description
技术领域
本发明涉及芯片验证技术领域,更具体地说是指随机验证参数设计方法、装置、计算机设备及存储介质。
背景技术
参数化设计,就是使用参数化的方式设计功能模块,在功能模块使用场合不同时,仅仅通过修改这些参数化的配置,即可达到在不修改代码情况下就能使用该功能模块的目的。随着芯片规模越来越大,芯片集成的功能模块越来越多,为了能尽快让芯片上市,减少设计和验证的时间,项目团队往往会首选使用已经成熟的功能模块,或者通过最小修改来减少风险;在一个项目中,相同功能的模块使用的地方可能很多,有些是可以完全复用,有些需要修改一些配置,所以参数化的设计方式就显得越来越重要;因为参数化设计是为了修改参数即可实现不同功能的目的,所以不同的参数配置对应的功能都需要进行充分验证。只有各种支持的参数配置都进行充分验证后,该参数化设计功能模块才能用于不同的配置场合中。
在芯片设计中,参数化设计越来越受芯片开发者的青睐,是因为通过参数化设计的功能模块,在不同的使用场合中,仅仅需要修改调用的参数,而不用再修改设计代码文件,即可完成功能需求。例如对fifo的设计中,可以对fifo的数据宽度和深度进行参数化设计,这样在使用不同的fifo时,可以根据需求合理地配置fifo的数据宽度和深度,而不用对每种数据宽度和深度的fifo都进行一次设计;有了参数化设计,就需要对参数化的各种配置进行验证,以保证所有的有效配置对应的功能都是没有问题的,这样,设计人员在进行不同的参数配置的时候,就不用担心使用的功能有问题。而传统的验证方式,是对各种参数配置进行组合,然后通过手动地修改环境中调用的参数值,以每种组合作为一种待验证模块进行验证,使用该方式,需要手动地修改配置参数,如果将每种配置都作为一个待测文件,那么验证人员需要管理所有配置文件,配置组合越多,管理的文件也就越多,且一旦配置信号发生改变,增加或者减少了配置信息,也都需要对所有的配置文件做修改,工作量大,管理起来不灵活,且繁杂;因此,无法满足需求。
发明内容
本发明的目的在于克服现有技术的缺陷,提供随机验证参数设计方法、装置、计算机设备及存储介质。
为实现上述目的,本发明采用于下技术方案:
随机验证参数设计方法,包括以下步骤:
S1,随机产生编译文件;
S2,编译文件内部为验证模块的各类参数配置对应宏的值;
S3,将宏的值传递至例化文件;
S4,例化文件修改验证模块的参数配置,完成参数配置的验证。
其进一步技术方案为:所述S2中,所述验证模块为sram-prty模块。
其进一步技术方案为:所述S2中,所述“编译文件内部为验证模块的各类参数配置对应宏的值”步骤中,验证模块的各类参数包括:DW,表示数据位宽,DPH表示sram的深度,及ENABLE表示奇偶校验逻辑是否使能。
其进一步技术方案为:所述DW配置对应宏的值为`DW,DPH配置对应宏的值为`DPH,ENABLE配置对应宏的值为`ENABLE。
随机验证参数设计装置,包括:随机单元,配置单元,传递单元,及修改完成单元;
所述随机单元,用于随机产生编译文件;
所述配置单元,用于编译文件内部为验证模块的各类参数配置对应宏的值;
所述传递单元,用于将宏的值传递至例化文件;
所述修改完成单元,用于例化文件修改验证模块的参数配置,完成参数配置的验证。
其进一步技术方案为:所述配置单元中,所述验证模块为sram_prty模块。
其进一步技术方案为:所述配置单元中,所述“编译文件内部为验证模块的各类参数配置对应宏的值”中,验证模块的各类参数包括:DW,表示数据位宽,DPH表示sram的深度,及ENABLE表示奇偶校验逻辑是否使能。
其进一步技术方案为:所述DW配置对应宏的值为`DW,DPH配置对应宏的值为`DPH,ENABLE配置对应宏的值为`ENABLE。
一种计算机设备,所述计算机设备包括存储器及处理器,所述存储器上存储有计算机程序,所述处理器执行所述计算机程序时实现如上述所述的随机验证参数设计方法。
一种存储介质,所述存储介质存储有计算机程序,所述计算机程序包括程序指令,所述程序指令当被处理器执行时可实现如上述所述的随机验证参数设计方法。
本发明与现有技术相比的有益效果是:使用宏的方式进行参数修改,将这些参数修改的方式由直接修改,变为宏传递,如此,就不用在例化的时候进行文件修改了,所以不需要手动进行修改,只需进行有效设定,让其产生有效的参数组合,且对随机的组合进行收集和整理,以便确认所有组合情况都已覆盖并得到验证,工作量小,管理起来灵活,且简单,能够更好地满足需求。
下面结合附图和具体实施例对本发明作进一步描述。
附图说明
为了更清楚地说明本发明实施例技术方案,下面将对实施例描述中所需要使用的附图作简单地介绍,显而易见地,下面描述中的附图是本发明的一些实施例,对于本领域普通技术人员来讲,在不付出创造性劳动的前提下,还可以根据这些附图获得其他的附图。
图1现有传统验证例化的应用示意性框图;
图2为本发明实施例提供的随机验证参数设计方法的流程示意图;
图3为本发明中宏的方式配置示意性框图;
图4为图2的应用场景示意性框图;
图5为本发明实施例提供的随机验证参数设计装置的示意性框图;
图6为本发明实施例提供的计算机设备的示意性框图。
具体实施方式
下面将结合本发明实施例中的附图,对本发明实施例中的技术方案进行清楚、完整地描述,显然,所描述的实施例是本发明一部分实施例,而不是全部的实施例。基于本发明中的实施例,本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例,都属于本发明保护的范围。
应当理解,当在本说明书和所附权利要求书中使用时,术语“包括”和“包含”指示所描述特征、整体、步骤、操作、元素和/或组件的存在,但并不排除一个或多个其它特征、整体、步骤、操作、元素、组件和/或其集合的存在或添加。
还应当理解,在此本发明说明书中所使用的术语仅仅是出于描述特定实施例的目的而并不意在限制本发明。如在本发明说明书和所附权利要求书中所使用的那样,除非上下文清楚地指明其它情况,否则单数形式的“一”、“一个”及“该”意在包括复数形式。
还应当进一步理解,在本发明说明书和所附权利要求书中使用的术语“和/或”是指相关联列出的项中的一个或多个的任何组合以及所有可能组合,并且包括这些组合。
请参阅图1到图6所示的具体实施例,其中,请参阅图1,由于参数化设计的功能模块,具备修改不同的参数(将DW配置为16,将DPH配置为32,将ENABLE配置为1,如果需要验证另一种配置,需要手动修改例化文件,修改这些数值)就能达到不同的功能的特点,所以在对参数化设计的功能模块进行验证的时候,需要对所有有效的参数组合进行充分验证。以sram奇偶校验逻辑的功能模块为例,因为sram的奇偶校验逻辑功能基本都是相同的,只是sram的数据位宽,sram的大小,奇偶校验保护的数据单元等可能不一样,所以,sram奇偶校验逻辑的功能模块可以采用参数化设计,使用参数化设计完成以后,针对不同类型的sram都可以使用这个功能模块,而无需再花时间进行编写,验证人员对sram奇偶校验逻辑功能模块进行验证的时候,需要对不同数据位宽,不同sram深度,奇偶校验保护的数据单元等进行各种有效匹配,在将该功能模块进行验证的时候,对该功能模块进行例化时,通过修改参数即可进行一组参数配置,因为参数的配置必须在例化的时候进行修改,且修改生效的过程属于验证编译的过程,一旦编译完成,将无法修改;所以每一种参数配置,都需要进行一次例化,如果组合情况很多,需要例化的组合就会很多,如果每一次例化,都使用手动方式进行修改,工作量会很大,并且假如增加或者减少配置信号,需要对所有的例化进行修改,不便于文件的管理。
请参阅图2到图4所示,本发明公开了随机验证参数设计方法,包括以下步骤:
S1,随机产生编译文件;
S2,编译文件内部为验证模块的各类参数配置对应宏的值;
S3,将宏的值传递至例化文件;
S4,例化文件修改验证模块的参数配置,完成参数配置的验证。
请参阅图3,采用宏的方式修改配置量,使用`DW宏配置DW,`DPH宏配置DPH,`ENABLE宏配置ENABLE等,而这些宏需要在编译文件中指定,如此需要修改编译文件,而不用对例化文件进行修改。
其中,S1中,由随机模型,随机产生编译文件;随机模型能随机产生可控参数组合,并且具备文本输出,同时还应该具备收集和整理参数组合情况的能力。例如使用类(class)即可实现上述功能,编写一个类,将DW,DPH,ENABLE作为类的成员,并且将所有有效的组合写进类的约束中,然后将该类实例化,并进行随机,产生随机出的DW,DPH,ENABLE组合值,并通过文本输出方式写成编译文件格式即可;而类的随机性可以通过覆盖率的方式进行收集,即通过添加function coverage(功能覆盖率)的方式即可对DW,DPH,ENABLE的组合情况进行收集,并显式出来。这样随机模型便能满足要求。
其中,在本实施例中,所述S2中,所述验证模块为sram_prty(sram校验)模块。
进一步地,所述S2中,所述“编译文件内部为验证模块的各类参数配置对应宏的值”步骤中,验证模块的各类参数包括:DW,表示数据位宽,DPH表示sram的深度,及ENABLE表示奇偶校验逻辑是否使能。
更进一步地,所述DW配置对应宏的值为`DW,DPH配置对应宏的值为`DPH,ENABLE配置对应宏的值为`ENABLE。
请参阅图4,在编译文件之前加上随机模型,使用随机模型来产生编译文件(例如文本输出),如此,就不用手动修改编译文件的宏定义值了;首先通过执行随机模型,随机产生编译文件,编译文件内部为各类参数配置对应的宏的值,通过这些宏传递到例化文件,修改验证模块的参数配置;如此,即完成了对一种参数配置的验证,每执行一次流程,就会随机产生一种参数配置值进行验证,执行多次后,对随机模型进行覆盖率收集,即可知道当前所有验证的参数组合情况,确保所有有效参数组合都得以验证。
本发明使用宏的方式进行参数修改,将这些参数修改的方式由直接修改,变为宏传递,如此,就不用在例化的时候进行文件修改了,所以不需要手动进行修改,由于宏本身承担了参数的各类组合任务,如果手动编写这些宏,每一组合的宏为一个文件,仍然需要很多的宏文件,仍然没有减少文件的管理,所以本发明增加一种自动随机模型来产生这些宏文件,只要这些宏文件是产生的,就不用进行文件的管理了,只需要对自动随机的装置进行有效设定,让其产生有效的参数组合,并且该装置具备对随机的组合进行收集和整理,以便确认所有组合情况都已覆盖并得到验证,工作量小,管理起来灵活,且简单,能够更好地满足需求。
请参阅图5,本发明还公开了随机验证参数设计装置,包括:随机单元10,配置单元20,传递单元30,及修改完成单元40;
所述随机单元10,用于随机产生编译文件;
所述配置单元20,用于编译文件内部为验证模块的各类参数配置对应宏的值;
所述传递单元30,用于将宏的值传递至例化文件;
所述修改完成单元40,用于例化文件修改验证模块的参数配置,完成参数配置的验证。
其中,所述配置单元20中,所述验证模块为sram-prty模块。
其中,所述配置单元20中,所述“编译文件内部为验证模块的各类参数配置对应宏的值”中,验证模块的各类参数包括:DW,表示数据位宽,DPH表示sram的深度,及ENABLE表示奇偶校验逻辑是否使能。
进一步地,所述DW配置对应宏的值为`DW,DPH配置对应宏的值为`DPH,ENABLE配置对应宏的值为`ENABLE。
需要说明的是,所属领域的技术人员可以清楚地了解到,上述随机验证参数设计装置和各单元的具体实现过程,可以参考前述方法实施例中的相应描述,为了描述的方便和简洁,在此不再赘述。
上述随机验证参数设计装置可以实现为一种计算机程序的形式,该计算机程序可以在如图6所示的计算机设备上运行。
请参阅图6,图6是本申请实施例提供的一种计算机设备的示意性框图;该计算机设备500可以是终端,也可以是服务器,其中,终端可以是智能手机、平板电脑、笔记本电脑、台式电脑、个人数字助理和穿戴式设备等具有通信功能的电子设备。服务器可以是独立的服务器,也可以是多个服务器组成的服务器集群。
参阅图6,该计算机设备500包括通过系统总线501连接的处理器502、存储器和网络接口505,其中,存储器可以包括非易失性存储介质503和内存储器504。
该非易失性存储介质503可存储操作系统5031和计算机程序5032。该计算机程序5032包括程序指令,该程序指令被执行时,可使得处理器502执行一种随机验证参数设计方法。
该处理器502用于提供计算和控制能力,以支撑整个计算机设备500的运行。
该内存储器504为非易失性存储介质503中的计算机程序5032的运行提供环境,该计算机程序5032被处理器502执行时,可使得处理器502执行一种随机验证参数设计方法。
该网络接口505用于与其它设备进行网络通信。本领域技术人员可以理解,图6中示出的结构,仅仅是与本申请方案相关的部分结构的框图,并不构成对本申请方案所应用于其上的计算机设备500的限定,具体的计算机设备500可以包括比图中所示更多或更少的部件,或者组合某些部件,或者具有不同的部件布置。
应当理解,在本申请实施例中,处理器502可以是中央处理单元(CentralProcessing Unit,CPU),该处理器502还可以是其他通用处理器、数字信号处理器(DigitalSignal Processor,DSP)、专用集成电路(Application Specific Integrated Circuit,ASIC)、现成可编程门阵列(Field-Programmable Gate Array,FPGA)或者其他可编程逻辑器件、分立门或者晶体管逻辑器件、分立硬件组件等。其中,通用处理器可以是微处理器或者该处理器也可以是任何常规的处理器等。
本领域普通技术人员可以理解的是实现上述实施例的方法中的全部或部分流程,是可以通过计算机程序来指令相关的硬件来完成。该计算机程序包括程序指令,计算机程序可存储于一存储介质中,该存储介质为计算机可读存储介质。该程序指令被该计算机系统中的至少一个处理器执行,以实现上述方法的实施例的流程步骤。
因此,本发明还提供一种存储介质。该存储介质可以为计算机可读存储介质。该存储介质存储有计算机程序,其中计算机程序包括程序指令,所述程序指令当被处理器执行时可实现上述的随机验证参数设计方法。
所述存储介质可以是U盘、移动硬盘、只读存储器(Read-Only Memory,ROM)、磁碟或者光盘等各种可以存储程序代码的计算机可读存储介质。
本领域普通技术人员可以意识到,结合本文中所公开的实施例描述的各示例的单元及算法步骤,能够以电子硬件、计算机软件或者二者的结合来实现,为了清楚地说明硬件和软件的可互换性,在上述说明中已经按照功能一般性地描述了各示例的组成及步骤。这些功能究竟以硬件还是软件方式来执行,取决于技术方案的特定应用和设计约束条件。专业技术人员可以对每个特定的应用来使用不同方法来实现所描述的功能,但是这种实现不应认为超出本发明的范围。
在本发明所提供的几个实施例中,应该理解到,所揭露的装置和方法,可以通过其它的方式实现。例如,以上所描述的装置实施例仅仅是示意性的。例如,各个单元的划分,仅仅为一种逻辑功能划分,实际实现时可以有另外的划分方式。例如多个单元或组件可以结合或者可以集成到另一个系统,或一些特征可以忽略,或不执行。
本发明实施例方法中的步骤可以根据实际需要进行顺序调整、合并和删减。本发明实施例装置中的单元可以根据实际需要进行合并、划分和删减。另外,在本发明各个实施例中的各功能单元可以集成在一个处理单元中,也可以是各个单元单独物理存在,也可以是两个或两个以上单元集成在一个单元中。
该集成的单元如果以软件功能单元的形式实现并作为独立的产品销售或使用时,可以存储在一个存储介质中。基于这样的理解,本发明的技术方案本质上或者说对现有技术做出贡献的部分,或者该技术方案的全部或部分可以以软件产品的形式体现出来,该计算机软件产品存储在一个存储介质中,包括若干指令用以使得一台计算机设备(可以是个人计算机,终端,或者网络设备等)执行本发明各个实施例所述方法的全部或部分步骤。
上述仅以实施例来进一步说明本发明的技术内容,以便于读者更容易理解,但不代表本发明的实施方式仅限于此,任何依本发明所做的技术延伸或再创造,均受本发明的保护。本发明的保护范围以权利要求书为准。
Claims (10)
1.随机验证参数设计方法,其特征在于,包括以下步骤:
S1,随机产生编译文件;
S2,编译文件内部为验证模块的各类参数配置对应宏的值;
S3,将宏的值传递至例化文件;
S4,例化文件修改验证模块的参数配置,完成参数配置的验证。
2.根据权利要求1所述的随机验证参数设计方法,其特征在于,所述S2中,所述验证模块为sram_prty模块。
3.根据权利要求2所述的随机验证参数设计方法,其特征在于,所述S2中,所述“编译文件内部为验证模块的各类参数配置对应宏的值”步骤中,验证模块的各类参数包括:DW,表示数据位宽,DPH表示sram的深度,及ENABLE表示奇偶校验逻辑是否使能。
4.根据权利要求3所述的随机验证参数设计方法,其特征在于,所述DW配置对应宏的值为`DW,DPH配置对应宏的值为`DPH,ENABLE配置对应宏的值为`ENABLE。
5.随机验证参数设计装置,其特征在于,包括:随机单元,配置单元,传递单元,及修改完成单元;
所述随机单元,用于随机产生编译文件;
所述配置单元,用于编译文件内部为验证模块的各类参数配置对应宏的值;
所述传递单元,用于将宏的值传递至例化文件;
所述修改完成单元,用于例化文件修改验证模块的参数配置,完成参数配置的验证。
6.根据权利要求5所述的随机验证参数设计装置,其特征在于,所述配置单元中,所述验证模块为sram_prty模块。
7.根据权利要求6所述的随机验证参数设计装置,其特征在于,所述配置单元中,所述“编译文件内部为验证模块的各类参数配置对应宏的值”中,验证模块的各类参数包括:DW,表示数据位宽,DPH表示sram的深度,及ENABLE表示奇偶校验逻辑是否使能。
8.根据权利要求7所述的随机验证参数设计装置,其特征在于,所述DW配置对应宏的值为`DW,DPH配置对应宏的值为`DPH,ENABLE配置对应宏的值为`ENABLE。
9.一种计算机设备,其特征在于,所述计算机设备包括存储器及处理器,所述存储器上存储有计算机程序,所述处理器执行所述计算机程序时实现如权利要求1-4中任一项所述的随机验证参数设计方法。
10.一种存储介质,其特征在于,所述存储介质存储有计算机程序,所述计算机程序包括程序指令,所述程序指令当被处理器执行时可实现如权利要求1-4中任一项所述的随机验证参数设计方法。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201910842148.2A CN110569038B (zh) | 2019-09-06 | 2019-09-06 | 随机验证参数设计方法、装置、计算机设备及存储介质 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201910842148.2A CN110569038B (zh) | 2019-09-06 | 2019-09-06 | 随机验证参数设计方法、装置、计算机设备及存储介质 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN110569038A true CN110569038A (zh) | 2019-12-13 |
CN110569038B CN110569038B (zh) | 2023-06-09 |
Family
ID=68778227
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201910842148.2A Active CN110569038B (zh) | 2019-09-06 | 2019-09-06 | 随机验证参数设计方法、装置、计算机设备及存储介质 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN110569038B (zh) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN111859833A (zh) * | 2020-07-22 | 2020-10-30 | 中国人民解放军国防科技大学 | 可配置系统级验证环境构造方法、系统及介质 |
CN112464502A (zh) * | 2020-12-28 | 2021-03-09 | 深圳市芯天下技术有限公司 | 优化加快存储器仿真验证方法、装置、存储介质和终端 |
CN114756474A (zh) * | 2022-04-27 | 2022-07-15 | 苏州睿芯集成电路科技有限公司 | 一种cpu验证中随机向量的生成方法、装置以及电子设备 |
Citations (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20070214178A1 (en) * | 2006-03-13 | 2007-09-13 | Sheffler Thomas J | Multi-project verification environment |
JP2007304636A (ja) * | 2006-05-08 | 2007-11-22 | Renesas Technology Corp | 静的タイミング検証方法 |
CN102622471A (zh) * | 2012-02-22 | 2012-08-01 | 山东华芯半导体有限公司 | 集成电路前端验证方法 |
CN103777951A (zh) * | 2014-01-23 | 2014-05-07 | 北京昆腾微电子有限公司 | 在验证环境中控制激励的方法和装置 |
CN106940647A (zh) * | 2017-03-20 | 2017-07-11 | 广州视源电子科技股份有限公司 | 代码管理方法和装置 |
CN107016165A (zh) * | 2017-03-09 | 2017-08-04 | 记忆科技(深圳)有限公司 | 一种SoC自动化随机验证的方法 |
CN107293330A (zh) * | 2017-06-12 | 2017-10-24 | 北京东土军悦科技有限公司 | 对随机存取存储器ram进行仿真验证的方法和仿真验证系统 |
CN109753288A (zh) * | 2019-01-14 | 2019-05-14 | 杭州云象网络技术有限公司 | 一种适用于形式化验证的智能合约编译方法 |
-
2019
- 2019-09-06 CN CN201910842148.2A patent/CN110569038B/zh active Active
Patent Citations (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20070214178A1 (en) * | 2006-03-13 | 2007-09-13 | Sheffler Thomas J | Multi-project verification environment |
JP2007304636A (ja) * | 2006-05-08 | 2007-11-22 | Renesas Technology Corp | 静的タイミング検証方法 |
CN102622471A (zh) * | 2012-02-22 | 2012-08-01 | 山东华芯半导体有限公司 | 集成电路前端验证方法 |
CN103777951A (zh) * | 2014-01-23 | 2014-05-07 | 北京昆腾微电子有限公司 | 在验证环境中控制激励的方法和装置 |
CN107016165A (zh) * | 2017-03-09 | 2017-08-04 | 记忆科技(深圳)有限公司 | 一种SoC自动化随机验证的方法 |
CN106940647A (zh) * | 2017-03-20 | 2017-07-11 | 广州视源电子科技股份有限公司 | 代码管理方法和装置 |
CN107293330A (zh) * | 2017-06-12 | 2017-10-24 | 北京东土军悦科技有限公司 | 对随机存取存储器ram进行仿真验证的方法和仿真验证系统 |
CN109753288A (zh) * | 2019-01-14 | 2019-05-14 | 杭州云象网络技术有限公司 | 一种适用于形式化验证的智能合约编译方法 |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN111859833A (zh) * | 2020-07-22 | 2020-10-30 | 中国人民解放军国防科技大学 | 可配置系统级验证环境构造方法、系统及介质 |
CN112464502A (zh) * | 2020-12-28 | 2021-03-09 | 深圳市芯天下技术有限公司 | 优化加快存储器仿真验证方法、装置、存储介质和终端 |
CN114756474A (zh) * | 2022-04-27 | 2022-07-15 | 苏州睿芯集成电路科技有限公司 | 一种cpu验证中随机向量的生成方法、装置以及电子设备 |
CN114756474B (zh) * | 2022-04-27 | 2023-07-21 | 苏州睿芯集成电路科技有限公司 | 一种cpu验证中随机向量的生成方法、装置以及电子设备 |
Also Published As
Publication number | Publication date |
---|---|
CN110569038B (zh) | 2023-06-09 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN108256164B (zh) | 状态机晶格中的布尔逻辑 | |
CN111045933B (zh) | 一种回归策略更新方法、装置、存储介质及终端设备 | |
CN110569038A (zh) | 随机验证参数设计方法、装置、计算机设备及存储介质 | |
CN107766040A (zh) | 一种生成接口文档的方法、装置及计算机可读存储介质 | |
CN111104421A (zh) | 一种基于数据接口标准配置的数据查询方法及装置 | |
US20130290693A1 (en) | Method and Apparatus for the Automatic Generation of RTL from an Untimed C or C++ Description as a Fine-Grained Specialization of a Micro-processor Soft Core | |
CN110262783B (zh) | 一种接口生成方法、装置及终端设备 | |
CN108334346B (zh) | 一种业务控制流程的开发方法及装置 | |
CN109542398B (zh) | 一种业务系统生成方法、装置及计算机可读存储介质 | |
CN110750312A (zh) | 硬件资源配置方法、装置、云侧设备和存储介质 | |
CN112256670A (zh) | 数据迁移方法、终端设备及可读存储介质 | |
CN109471620A (zh) | 一种app的自动生成方法、装置、终端设备及可读存储介质 | |
CN113901371A (zh) | 网页内容控制方法、装置、计算机设备及存储介质 | |
CN113407254A (zh) | 表单生成方法、装置、电子设备及存储介质 | |
CN112163949A (zh) | 一种基于合约组件图形化的智能合约生成方法及装置 | |
CN109408035B (zh) | 一种业务系统的流程配置方法、存储介质和服务器 | |
US8688608B2 (en) | Verifying correctness of regular expression transformations that use a post-processor | |
US10706193B1 (en) | Computer processing during simulation of a circuit design | |
CN107589965A (zh) | 一种软件开发方法及装置 | |
CN109324838B (zh) | 单片机程序的执行方法、执行装置及终端 | |
CN112947907A (zh) | 一种创建代码分支的方法 | |
US8954307B1 (en) | Chained programming language preprocessors for circuit simulation | |
KR100809684B1 (ko) | 디바이스의 전원차단효과를 rtl에서 검증할 수 있는 검증 장치 및 전원차단효과를 모델링 하는 방법 | |
CN102612683A (zh) | 跨执行环境保持数据完整性 | |
CN108509773A (zh) | 一种源代码加固方法及装置 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |