CN112364578A - 一种存储器参数提取方法、装置、设备及可读存储介质 - Google Patents
一种存储器参数提取方法、装置、设备及可读存储介质 Download PDFInfo
- Publication number
- CN112364578A CN112364578A CN202011389824.4A CN202011389824A CN112364578A CN 112364578 A CN112364578 A CN 112364578A CN 202011389824 A CN202011389824 A CN 202011389824A CN 112364578 A CN112364578 A CN 112364578A
- Authority
- CN
- China
- Prior art keywords
- memory
- parameters
- npi
- parameter extraction
- model
- 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.)
- Pending
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/327—Logic synthesis; Behaviour synthesis, e.g. mapping logic, HDL to netlist, high-level language to RTL or netlist
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Abstract
本申请公开了一种存储器参数提取方法、装置、设备及可读存储介质。本申请公开的方法包括:获取实例化有存储器参数的RTL代码文件;存储器参数包括:存储器类型、深度、位宽、部分写分组位宽标志、数据冗余标志、工作频率、每种类型的存储器个数和存储器在芯片中所占物理空间大小;调用NPI模型从RTL代码文件中提取存储器参数;生成包括存储器参数的报告文件。本申请实现了存储器参数的自动提取,可避免人工记录出错,也降低了参数提取成本,提高了参数提取效率,更为方便快捷。相应地,本申请提供的一种存储器参数提取装置、设备及可读存储介质,也同样具有上述技术效果。
Description
技术领域
本申请涉及计算机技术领域,特别涉及一种存储器参数提取方法、装置、设备及可读存储介质。
背景技术
芯片设计离不开存储器的设计,在芯片设计从RTL(Register Transfer Level,寄存器传输级)转换成网表(Netlist)交给后端设计团队之前,需要设计人员手动记录其中所使用的各个存储器的参数,然后将这些参数交给后端设计团队,后端设计团队才能利用相关工具据此编译生成不同的存储器。其中,存储器的参数包括:深度、宽度、频率等众多参数,手动记录需要花费较多时间,且容易出错,因此会增加参数提取成本。
因此,如何方便提取芯片设计中的存储器参数,是本领域技术人员需要解决的问题。
发明内容
有鉴于此,本申请的目的在于提供一种存储器参数提取方法、装置、设备及可读存储介质,以方便提取芯片设计中的存储器参数。其具体方案如下:
第一方面,本申请提供了一种存储器参数提取方法,包括:
获取实例化有存储器参数的RTL代码文件;所述存储器参数包括:存储器类型、深度、位宽、部分写分组位宽标志、数据冗余标志、工作频率、每种类型的存储器个数和存储器在芯片中所占物理空间大小;
调用NPI模型从所述RTL代码文件中提取所述存储器参数;
生成包括所述存储器参数的报告文件。
优选地,所述调用NPI模型从所述RTL代码文件中提取所述存储器参数,包括:
通过TCL接口或C/C++接口调用所述NPI模型,以从所述RTL代码文件中提取所述存储器参数。
优选地,通过TCL接口调用所述NPI模型,包括:
调用Verdi可执行程序打开play开关,以利用NPI TCL程序通过所述TCL接口调用所述NPI模型。
优选地,通过C/C++接口调用所述NPI模型,包括:
利用NPI C/C++可执行文件通过所述C/C++接口调用所述NPI模型。
优选地,所述生成包括所述存储器参数的报告文件之后,还包括:
存储所述报告文件。
优选地,所述生成包括所述存储器参数的报告文件之后,还包括:
将所述报告文件进行可视化展示。
优选地,应用于可执行脚本。
第二方面,本申请提供了一种存储器参数提取装置,包括:
获取模块,用于获取实例化有存储器参数的RTL代码文件;所述存储器参数包括:存储器类型、深度、位宽、部分写分组位宽标志、数据冗余标志、工作频率、每种类型的存储器个数和存储器在芯片中所占物理空间大小;
提取模块,用于调用NPI模型从所述RTL代码文件中提取所述存储器参数;
生成模块,用于生成包括所述存储器参数的报告文件。
第三方面,本申请提供了一种存储器参数提取设备,包括:
存储器,用于存储计算机程序;
处理器,用于执行所述计算机程序,以实现前述公开的存储器参数提取方法。
第四方面,本申请提供了一种可读存储介质,用于保存计算机程序,其中,所述计算机程序被处理器执行时实现前述公开的存储器参数提取方法。
通过以上方案可知,本申请提供了一种存储器参数提取方法,包括:获取实例化有存储器参数的RTL代码文件;所述存储器参数包括:存储器类型、深度、位宽、部分写分组位宽标志、数据冗余标志、工作频率、每种类型的存储器个数和存储器在芯片中所占物理空间大小;调用NPI模型从所述RTL代码文件中提取所述存储器参数;生成包括所述存储器参数的报告文件。
可见,本申请首先将RTL代码文件中的存储器参数实例化,使得各个参数的取值明确确定,然后调用NPI模型从所述RTL代码文件中直接提取出存储器参数,并生成包括存储器参数的报告文件,从而实现了存储器参数的自动提取,无需设计人员手动记录这些参数,故可以避免人工记录出错,也降低了参数提取成本,提高了参数提取效率,更为方便快捷。
相应地,本申请提供的一种存储器参数提取装置、设备及可读存储介质,也同样具有上述技术效果。
附图说明
为了更清楚地说明本申请实施例或现有技术中的技术方案,下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍,显而易见地,下面描述中的附图仅仅是本申请的实施例,对于本领域普通技术人员来讲,在不付出创造性劳动的前提下,还可以根据提供的附图获得其他的附图。
图1为本申请公开的一种存储器参数提取方法流程图;
图2为本申请公开的一种存储器参数方案示意图;
图3为本申请公开的另一种存储器参数提取方法流程图;
图4为本申请公开的一种存储器参数的可视化示意图;
图5为本申请公开的一种存储器参数提取装置示意图;
图6为本申请公开的一种存储器参数提取设备示意图。
具体实施方式
下面将结合本申请实施例中的附图,对本申请实施例中的技术方案进行清楚、完整地描述,显然,所描述的实施例仅仅是本申请一部分实施例,而不是全部的实施例。基于本申请中的实施例,本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例,都属于本申请保护的范围。
目前,手动记录存储器参数需要花费较多时间,且容易出错,因此会增加参数提取成本。为此,本申请提供了一种存储器参数提取方案,能够方便提取芯片设计中的存储器参数,降低参数提取成本,提高参数提取效率。
参见图1所示,本申请实施例公开了一种存储器参数提取方法,包括:
S101、获取实例化有存储器参数的RTL代码文件。
本实施例将RTL代码文件中的存储器参数实例化,也即:在RTL代码文件中明确各个存储器参数的取值,例如写明如下各个参数的取值:
parameter AW(Address Width,地址位宽)=10;
parameter DW(Data Width,数据位宽)=32;
parameter PW(Parity Width,校验位位宽)=32;
parameter FREQ(Frequency,工作频率)=800;
parameter MW(Write Data Mask Width,部分写分组位宽)=DW/8;
parameter DP(Depth,Memory深度)=2**AW;
parameter RP(Repair,Memory数据冗余标志)=1;
parameter SC(Strict Check,读数据严格校验标志)=1。
其中,存储器参数包括:存储器类型、深度、位宽、部分写分组位宽标志、数据冗余标志、工作频率、每种类型的存储器个数和存储器在芯片中所占物理空间大小。当然,存储器参数还可以包括更少或更多的参数。RTL代码文件中明确有哪些存储器参数,后续就可以提取出哪些存储器参数。
存储器可以为SRAM(Static Random-Access Memory,静态随机存取存储器)等。存储器类型指:其端口是单端口还是双端口。
S102、调用NPI模型从RTL代码文件中提取存储器参数。
NPI(Native Programming Interface)模型能够实现对RTL编译后的底层数据库的访问,其支持硬件语言SV语言(SystemVerilog)和VHDL(Very-High-Speed IntegratedCircuit Hardware Description Language,超高速集成电路硬件描述语言)。NPI模型提供了TCL(Tool Command Language)接口和C/C++接口供用户访问SV和VHDL语法中的所有结构对象,如模块的层次路径,子模块的实例对象,模块的输入输出口列表,参数化模块的参数列表等等。
因此在一种具体实施方式中,调用NPI模型从RTL代码文件中提取存储器参数,包括:通过TCL接口或C/C++接口调用NPI模型,以从RTL代码文件中提取存储器参数。
其中,通过TCL接口调用NPI模型,包括:调用Verdi可执行程序打开play开关,以利用NPI TCL程序通过TCL接口调用NPI模型。
Verdi可执行程序可以通过play选项(即play开关)打开解释NPI TCL程序的功能。NPI TCL程序具备参数提取功能。也就是说,NPI TCL程序的执行需要通过Verdi可执行程序来打开play开关完成。
其中,通过C/C++接口调用NPI模型,包括:利用NPI C/C++可执行文件通过C/C++接口调用NPI模型。NPI C/C++可执行文件可以由用户自主编写C/C++代码后,编译获得,其作用和NPI TCL程序一致,也具备参数提取功能。
S103、生成包括存储器参数的报告文件。
在一种具体实施方式中,生成包括存储器参数的报告文件之后,还包括:存储报告文件,以便后续修改设计时作为参考或相关技术人员查询。
在一种具体实施方式中,生成包括存储器参数的报告文件之后,还包括:将报告文件进行可视化展示,以便相关人员查阅。
在一种具体实施方式中,应用于可执行脚本,也即:本实施例公开的方法可以在可执行脚本中实现,后续调用该可执行脚本即可完成存储器参数的提取。
可见,本申请实施例首先将RTL代码文件中的存储器参数实例化,使得各个参数的取值明确确定,然后调用NPI模型从所述RTL代码文件中直接提取出存储器参数,并生成包括存储器参数的报告文件,从而实现了存储器参数的自动提取,无需设计人员手动记录这些参数,故可以避免人工记录出错,也降低了参数提取成本,提高了参数提取效率,更为方便快捷。
参见图2所示,本申请实施例公开了一种存储器参数提取方案示意图,在图2中,参数化Memory RTL模块中记录有各个参数的取值,从而形成RTL代码文件,以实现实例化Memory。若通过TCL接口调用NPI模型,则利用NPI TCL程序完成参数提取。若通过C/C++接口调用NPI模型,则生成可执行文件完成参数提取。最后进行参数的输出和展示。
具体的,设计人员编写RTL代码时,依据存储器的设计参数明确各个参数的取值,在RTL代码指定具体的存储器类型、深度、位宽、部分写分组位宽标志、数据冗余标志、工作频率、每种类型的存储器个数和存储器在芯片中所占物理空间大小等,从而得到RTL代码文件。
NPI模型的调用接口可以采用TCL接口或者C/C++接口,两者实现的结果一样,但具体步骤略有区别,如图2所示,采用TCL接口实现,会调用Verdi程序通过-play选项解释NPITCL程序,以读取RTL设计代码文件,以完成参数提取。而采用C/C++接口的话,则需要首先使用C/C++编译器(如:gcc/g++)将NPI C/C++程序编译成可执行文件,再通过该可执行文件读取RTL设计代码文件,以完成参数提取。
请参见图3,读取RTL设计代码文件进行参数提取,包括:从RTL设计代码文件中提取所有相关数据对象,利用NPI TCL程序或C/C++程序读取并分析相关数据对象,以确定其中是否有参数化Memory RTL模块;若有,则提取其中的存储器参数,并写入到可视化文件中。
相关数据对象可以包括实例化Memory的模块名,实例化Memory的层次路径,Memory模块的输入输出接口,Memory模块的所有参数名等等。
可视化文件可以如图4所示。在图4中,提取出的存储器参数包括:存储器类型(Type)、深度(Words)、位宽(Bit)、部分写分组位宽标志(WriteMask)、数据冗余标志(Redundancy)、工作频率(Freq)、同类型存储器的个数(InstNum)等。
存储器的端口分为单端口和双端口,针对不同端口的存储器,其参数会有相应变化,具体可参照现有相关技术。
若上述步骤封装为一套比较完整的脚本实现,这样前后端设计人员的工作就可以独立开来,后端人员只要基于前端设计人员的RTL代码,运行该脚本,即可得到便于阅读的Memory参数报告,避免了前后端设计人员沟通不畅可能引入的不必要错误,提高了工作效率。
可见,本实施例定义了参数化的Memory RTL模块,利用NPI TCL或C/C++的Memory参数的提取,并输出了Memory参数报告,避免人工记录出错,也降低了参数提取成本,提高了参数提取效率,更为方便快捷。
下面对本申请实施例提供的一种存储器参数提取装置进行介绍,下文描述的一种存储器参数提取装置与上文描述的一种存储器参数提取方法可以相互参照。
参见图5所示,本申请实施例公开了一种存储器参数提取装置,包括:
获取模块501,用于获取实例化有存储器参数的RTL代码文件;存储器参数包括:存储器类型、深度、位宽、部分写分组位宽标志、数据冗余标志、工作频率、每种类型的存储器个数和存储器在芯片中所占物理空间大小;
提取模块502,用于调用NPI模型从RTL代码文件中提取存储器参数;
生成模块503,用于生成包括存储器参数的报告文件。
在一种具体实施方式中,提取模块具体用于:
通过TCL接口或C/C++接口调用NPI模型,以从RTL代码文件中提取存储器参数。
在一种具体实施方式中,提取模块具体用于:
调用Verdi可执行程序打开play开关,以利用NPI TCL程序通过TCL接口调用NPI模型。
在一种具体实施方式中,提取模块具体用于:
利用NPI C/C++可执行文件通过C/C++接口调用NPI模型。
在一种具体实施方式中,还包括:
存储模块,用于存储报告文件。
在一种具体实施方式中,还包括:
展示模块,用于将报告文件进行可视化展示。
在一种具体实施方式中,该装置设置于可执行脚本中。
其中,关于本实施例中各个模块、单元更加具体的工作过程可以参考前述实施例中公开的相应内容,在此不再进行赘述。
可见,本实施例提供了一种存储器参数提取装置,该装置实现了存储器参数的自动提取,无需设计人员手动记录这些参数,故可以避免人工记录出错,也降低了参数提取成本,提高了参数提取效率,更为方便快捷。
下面对本申请实施例提供的一种存储器参数提取设备进行介绍,下文描述的一种存储器参数提取设备与上文描述的一种存储器参数提取方法及装置可以相互参照。
参见图6所示,本申请实施例公开了一种存储器参数提取设备,包括:
存储器601,用于保存计算机程序;
处理器602,用于执行所述计算机程序,以实现上述任意实施例公开的方法。
下面对本申请实施例提供的一种可读存储介质进行介绍,下文描述的一种可读存储介质与上文描述的一种存储器参数提取方法、装置及设备可以相互参照。
一种可读存储介质,用于保存计算机程序,其中,所述计算机程序被处理器执行时实现前述实施例公开的存储器参数提取方法。关于该方法的具体步骤可以参考前述实施例中公开的相应内容,在此不再进行赘述。
本申请涉及的“第一”、“第二”、“第三”、“第四”等(如果存在)是用于区别类似的对象,而不必用于描述特定的顺序或先后次序。应该理解这样使用的数据在适当情况下可以互换,以便这里描述的实施例能够以除了在这里图示或描述的内容以外的顺序实施。此外,术语“包括”和“具有”以及他们的任何变形,意图在于覆盖不排他的包含,例如,包含了一系列步骤或单元的过程、方法或设备不必限于清楚地列出的那些步骤或单元,而是可包括没有清楚地列出的或对于这些过程、方法或设备固有的其它步骤或单元。
需要说明的是,在本申请中涉及“第一”、“第二”等的描述仅用于描述目的,而不能理解为指示或暗示其相对重要性或者隐含指明所指示的技术特征的数量。由此,限定有“第一”、“第二”的特征可以明示或者隐含地包括至少一个该特征。另外,各个实施例之间的技术方案可以相互结合,但是必须是以本领域普通技术人员能够实现为基础,当技术方案的结合出现相互矛盾或无法实现时应当认为这种技术方案的结合不存在,也不在本申请要求的保护范围之内。
本说明书中各个实施例采用递进的方式描述,每个实施例重点说明的都是与其它实施例的不同之处,各个实施例之间相同或相似部分互相参见即可。
结合本文中所公开的实施例描述的方法或算法的步骤可以直接用硬件、处理器执行的软件模块,或者二者的结合来实施。软件模块可以置于随机存储器(RAM)、内存、只读存储器(ROM)、电可编程ROM、电可擦除可编程ROM、寄存器、硬盘、可移动磁盘、CD-ROM、或技术领域内所公知的任意其它形式的可读存储介质中。
本文中应用了具体个例对本申请的原理及实施方式进行了阐述,以上实施例的说明只是用于帮助理解本申请的方法及其核心思想;同时,对于本领域的一般技术人员,依据本申请的思想,在具体实施方式及应用范围上均会有改变之处,综上所述,本说明书内容不应理解为对本申请的限制。
Claims (10)
1.一种存储器参数提取方法,其特征在于,包括:
获取实例化有存储器参数的RTL代码文件;所述存储器参数包括:存储器类型、深度、位宽、部分写分组位宽标志、数据冗余标志、工作频率、每种类型的存储器个数和存储器在芯片中所占物理空间大小;
调用NPI模型从所述RTL代码文件中提取所述存储器参数;
生成包括所述存储器参数的报告文件。
2.根据权利要求1所述的存储器参数提取方法,其特征在于,所述调用NPI模型从所述RTL代码文件中提取所述存储器参数,包括:
通过TCL接口或C/C++接口调用所述NPI模型,以从所述RTL代码文件中提取所述存储器参数。
3.根据权利要求2所述的存储器参数提取方法,其特征在于,通过TCL接口调用所述NPI模型,包括:
调用Verdi可执行程序打开play开关,以利用NPITCL程序通过所述TCL接口调用所述NPI模型。
4.根据权利要求2所述的存储器参数提取方法,其特征在于,通过C/C++接口调用所述NPI模型,包括:
利用NPIC/C++可执行文件通过所述C/C++接口调用所述NPI模型。
5.根据权利要求1所述的存储器参数提取方法,其特征在于,所述生成包括所述存储器参数的报告文件之后,还包括:
存储所述报告文件。
6.根据权利要求1所述的存储器参数提取方法,其特征在于,所述生成包括所述存储器参数的报告文件之后,还包括:
将所述报告文件进行可视化展示。
7.根据权利要求1至6任一项所述的存储器参数提取方法,其特征在于,应用于可执行脚本。
8.一种存储器参数提取装置,其特征在于,包括:
获取模块,用于获取实例化有存储器参数的RTL代码文件;所述存储器参数包括:存储器类型、深度、位宽、部分写分组位宽标志、数据冗余标志、工作频率、每种类型的存储器个数和存储器在芯片中所占物理空间大小;
提取模块,用于调用NPI模型从所述RTL代码文件中提取所述存储器参数;
生成模块,用于生成包括所述存储器参数的报告文件。
9.一种存储器参数提取设备,其特征在于,包括:
存储器,用于存储计算机程序;
处理器,用于执行所述计算机程序,以实现如权利要求1至7任一项所述的存储器参数提取方法。
10.一种可读存储介质,其特征在于,用于保存计算机程序,其中,所述计算机程序被处理器执行时实现如权利要求1至7任一项所述的存储器参数提取方法。
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202011389824.4A CN112364578A (zh) | 2020-12-02 | 2020-12-02 | 一种存储器参数提取方法、装置、设备及可读存储介质 |
PCT/CN2021/118471 WO2022116642A1 (zh) | 2020-12-02 | 2021-09-15 | 一种存储器参数提取方法、装置、设备及可读存储介质 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202011389824.4A CN112364578A (zh) | 2020-12-02 | 2020-12-02 | 一种存储器参数提取方法、装置、设备及可读存储介质 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN112364578A true CN112364578A (zh) | 2021-02-12 |
Family
ID=74536568
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202011389824.4A Pending CN112364578A (zh) | 2020-12-02 | 2020-12-02 | 一种存储器参数提取方法、装置、设备及可读存储介质 |
Country Status (2)
Country | Link |
---|---|
CN (1) | CN112364578A (zh) |
WO (1) | WO2022116642A1 (zh) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2022116642A1 (zh) * | 2020-12-02 | 2022-06-09 | 深圳大普微电子科技有限公司 | 一种存储器参数提取方法、装置、设备及可读存储介质 |
CN116741255A (zh) * | 2023-08-16 | 2023-09-12 | 沐曦集成电路(上海)有限公司 | 生成目标组合存储器的系统 |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN116738909B (zh) * | 2023-06-25 | 2024-05-24 | 成都电科星拓科技有限公司 | 一种集成电路的Memory集成方法 |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20090172621A1 (en) * | 2007-12-27 | 2009-07-02 | Sanved Dessiggn Automation | System and method for system-on-chip (soc) performance analysis |
CN102592023A (zh) * | 2012-01-06 | 2012-07-18 | 广东新岸线计算机系统芯片有限公司 | 集成电路设计过程中的寄存器设计方法及装置 |
CN110728096A (zh) * | 2018-06-29 | 2020-01-24 | 三星电子株式会社 | 制造集成电路的方法和设计集成电路的计算系统 |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN112364578A (zh) * | 2020-12-02 | 2021-02-12 | 深圳大普微电子科技有限公司 | 一种存储器参数提取方法、装置、设备及可读存储介质 |
-
2020
- 2020-12-02 CN CN202011389824.4A patent/CN112364578A/zh active Pending
-
2021
- 2021-09-15 WO PCT/CN2021/118471 patent/WO2022116642A1/zh active Application Filing
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20090172621A1 (en) * | 2007-12-27 | 2009-07-02 | Sanved Dessiggn Automation | System and method for system-on-chip (soc) performance analysis |
CN102592023A (zh) * | 2012-01-06 | 2012-07-18 | 广东新岸线计算机系统芯片有限公司 | 集成电路设计过程中的寄存器设计方法及装置 |
CN110728096A (zh) * | 2018-06-29 | 2020-01-24 | 三星电子株式会社 | 制造集成电路的方法和设计集成电路的计算系统 |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2022116642A1 (zh) * | 2020-12-02 | 2022-06-09 | 深圳大普微电子科技有限公司 | 一种存储器参数提取方法、装置、设备及可读存储介质 |
CN116741255A (zh) * | 2023-08-16 | 2023-09-12 | 沐曦集成电路(上海)有限公司 | 生成目标组合存储器的系统 |
CN116741255B (zh) * | 2023-08-16 | 2023-11-24 | 沐曦集成电路(上海)有限公司 | 生成目标组合存储器的系统 |
Also Published As
Publication number | Publication date |
---|---|
WO2022116642A1 (zh) | 2022-06-09 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN112364578A (zh) | 一种存储器参数提取方法、装置、设备及可读存储介质 | |
US7610545B2 (en) | Annotations for tracking provenance | |
US9038032B2 (en) | Symbolic execution and automatic test case generation for JavaScript programs | |
US6226776B1 (en) | System for converting hardware designs in high-level programming language to hardware implementations | |
US10437574B2 (en) | System and method for providing code completion features for code modules | |
CN101617294A (zh) | 组件式开发的改进 | |
CN111259618A (zh) | 一种基于寄存器流程工具的设计验证芯片方法 | |
CN108399124A (zh) | 应用测试方法、装置、计算机设备和存储介质 | |
US8881074B2 (en) | Device and method for refactoring hardware code | |
US20050234708A1 (en) | Notation enabling all activity between a system and a user to be defined, and methods for using the same | |
US7194705B1 (en) | Simulation of integrated circuitry within a high-level modeling system using hardware description language circuit descriptions | |
US20070271080A1 (en) | Model generation method for software/hardware collaboration design | |
US7395521B1 (en) | Method and apparatus for translating an imperative programming language description of a circuit into a hardware description | |
US6968428B2 (en) | Microprocessor cache design initialization | |
CN110765008B (zh) | 一种数据处理方法及装置 | |
CN117149209A (zh) | 一种代码增量编译方法、装置、计算机设备及存储介质 | |
CN116663489A (zh) | 一种rtl模块复位方法、装置、电子设备及存储介质 | |
EP2097810A2 (en) | System for automating the definition of application objects supporting undoing, redoing, compressing and logging operations | |
US6766510B2 (en) | Application program developing system, application program developing method, and recording medium in which application program developing program is stored | |
US5960184A (en) | Method and apparatus for providing optimization parameters to a logic optimizer tool | |
JP3049814B2 (ja) | マイクロコンピュータの言語処理装置 | |
US20020004918A1 (en) | Method for the preparation and execution of a self-test procedure and associated self-test generating method | |
CN117369789B (zh) | 基于可视化配置工具生成代码的方法及可视化显示设备 | |
EP0969395B1 (en) | Design of an application specific processor (asp) | |
US6691288B1 (en) | Method to debug IKOS method |
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 |