CN115080055A - 面向信息安全的可重构系统芯片编译器、自动编译方法 - Google Patents

面向信息安全的可重构系统芯片编译器、自动编译方法 Download PDF

Info

Publication number
CN115080055A
CN115080055A CN202210679223.XA CN202210679223A CN115080055A CN 115080055 A CN115080055 A CN 115080055A CN 202210679223 A CN202210679223 A CN 202210679223A CN 115080055 A CN115080055 A CN 115080055A
Authority
CN
China
Prior art keywords
data
hardware
compiler
function
module
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
Application number
CN202210679223.XA
Other languages
English (en)
Inventor
葛伟
李重阳
郑雷动
王一飞
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Southeast University
Original Assignee
Southeast University
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Southeast University filed Critical Southeast University
Priority to CN202210679223.XA priority Critical patent/CN115080055A/zh
Publication of CN115080055A publication Critical patent/CN115080055A/zh
Priority to US17/992,132 priority patent/US20230081697A1/en
Priority to PCT/CN2023/070107 priority patent/WO2023241027A1/zh
Pending legal-status Critical Current

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/60Protecting data
    • G06F21/602Providing cryptographic facilities or services
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering
    • G06F8/40Transformation of program code
    • G06F8/41Compilation
    • G06F8/42Syntactic analysis
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44Arrangements for executing specific programs
    • G06F9/445Program loading or initiating
    • G06F9/44589Program code verification, e.g. Java bytecode verification, proof-carrying code
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44Arrangements for executing specific programs
    • G06F9/455Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
    • G06F9/45504Abstract machines for programme code execution, e.g. Java virtual machine [JVM], interpreters, emulators

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Health & Medical Sciences (AREA)
  • Bioethics (AREA)
  • General Health & Medical Sciences (AREA)
  • Computer Hardware Design (AREA)
  • Computer Security & Cryptography (AREA)
  • Devices For Executing Special Programs (AREA)

Abstract

本发明公开了一种面向信息安全应用的可重构系统芯片编译器、自动编译方法,所述方法包括如下步骤:首先输入密码算法的源程序,然后执行源程序的软件编译功能语法检查,当检查结果通过后采用编译器编译映射,接着采用仿真器运行仿真执行密码算法,由仿真器阵列生成配置码,最后使用仿真器生成的二进制配置码文件来指导硬件行为操作。可重构系统芯片编译器包括源程序输入模块、软件编译功能验证模块、编译映射模块,仿真执行模块、配置码生成模块、硬件调试模块。通过实施本发明,解决现有映射技术不够成熟的情况下,对算法映射人员要求高,算法映射时间周期长,仿真调试困难以及对硬件变化包容性差的问题。

Description

面向信息安全的可重构系统芯片编译器、自动编译方法
技术领域
本发明涉及一种面向信息安全应用的可重构系统芯片编译器及自动编译方法,属于可重构系统芯片编译技术领域。
背景技术
随着信息技术的发展及创新,信息爆炸时代应用对数据的处理能力需求不断提升,而传统的计算方式主要有两种,一种是ASIC(Application SpecificIntegratedCircuit, 专用集成电路 ), ASIC因其专用性及生产特性,导致其一旦投入生产则硬件电路无法改变,随着硅制造工艺复杂度的不断提升,一次性投入代价变得极为昂贵,因此,当ASIC产量达不到一定规模时,全定制的ASIC加速单元只能被少数拥有大量应用场合的计算逻辑采用;另一种是GPP(General Purpose Processor, 通用处理器 ),通过指令集方式执行特定的计算任务,通过修改指令集序列完成不同功能计算任务,而硬件电路无需进行修改。因此GPP具有良好的灵活性。但是,GPP为了完成一个计算任务,需从存储器中读取指令和数据,并进行译码和执行,指令每次执行都需要很大的性能开销,所以GPP的性能一般远远落后于ASIC。
CGRA( Coarse-grained Reconfigurable Architecture,可重构计算)本质上可以看作是“在GPP高灵活性和ASIC高性能之间的折衷,时间计算和空间计算的一种结合”。同时,与GPP和ASIC相比,可重构计算系统实现了在灵活度、性能、面积、功耗之间的折衷,但是,其复杂性也提高了应用开发成本。可重构编译系统的目标是将应用程序自动编译生成可重构计算系统,通过高度并行的硬件逻辑单元执行应用程序中计算密集的部分,提高应用的执行性能,为高效能计算任务提供硬件支持,结合具有高度灵活性的通用处理器GPP协同工作,完成计算任务。并且随着信息技术的发展,可重构体系架构应用计算复杂度也在成倍增长,尤其是在计算密集型的密码算法中显得尤为重要,纯手工方法实现应用到可重构计算平台的部署也变得不现实,因此,研究如何提高面向信息安全的可重构编译器自动化映射是十分重要的,在近几年来,已经成为可重构计算相关领域的一个研究热点。
可重构处理器编译系统是将用户用高级语言描述的应用行为,翻译为功能等价、可被目标硬件识别的二进制机器代码的软件系统。编译器最重要的指标是正确性,需要保证源程序可以在硬件上正确地执行。此外,优秀的CGRA编译系统还应具有以下特征:
1)易于编程:即提供用户良好的上层编程接口,不过多地向上暴露底层硬件特征,编程人员可在不了解硬件的前提下进行应用功能实现,这样可以提高编程人员的生产力并且缩短算法开发周期;
2)开发更多的并行性:CGRA提供了丰富的计算单元,可在时域和空域上进行并行计算,编译器需要有效地挖掘硬件潜能和源程序的并行空间,加速源程序的执行,提高硬件资源的利用率;
3)编译时间短:显然,编译时间开销越小越好,在某些需要动态重构硬件的应用中,编译时间要求更为严格。总之,编译器要为用户提供更加方便快捷且高效地使用芯片中硬件资源的方法。
基于以上背景,面向信息安全的可重构密码芯片的编译器的设计已经成为研究关注的一个热点问题。现有基于密码算法的可重构芯片的编译器工具设计已经得到了一定程度的优化,但是在实际的应用中由于算法开发人员对硬件的结构以及算法协议的了解程度不同,其算法映射的时间以及性能也存在一定的差别。
发明内容
本发明所要解决的技术问题是:针对上述现有技术,提出一种面向信息安全的可重构系统芯片编译器自动化映射简易流程的设计,解决现有映射技术不够成熟的情况下,对算法映射人员要求高,算法映射时间周期长,仿真调试困难以及对硬件变化包容性差的问题。
本发明为了解决上述技术问题而采用以下技术方案:
本发明首先提出一种面向信息安全的可重构系统芯片编译器自动编译方法,包括:
S1、输入密码算法的源程序:基于密码算法特征所设计的含有特殊标记的高级语言来描述源程序文件;
S2、执行源程序的软件编译功能语法检查:针对输入的算法描述语言进行功能验证,模拟硬件的执行行为,并验证功能是否正确,如果是则进入下一步,如果否,则返回上一步;
S3、进行编译器编译映射:将功能验证正确的源文件通过编译器的编译得到具有数据依赖关系的数据流图;
S4、通过仿真器运行仿真执行密码算法:将编译器编译生成的具有数据依赖关系的数据流图执行得到仿真结果;
S5、由仿真器阵列生成配置码:将运行结果正确的阵列映射生成硬件所能识别执行的二进制语言文件,
S6、执行硬件调试:使用仿真器生成的二进制配置码文件来指导硬件行为操作。
进一步的,本发明所提出的可重构系统芯片编译器自动编译方法,步骤S1中,运用带标记的高级C语言描述密码算法,其最多支持两层For循环嵌套,不支持包括while的非规则循环,使用特殊基本功能单元BFU、查找单元SBOX、比特置换单元BENES算子函数进行编程。
进一步的,本发明所提出的可重构系统芯片编译器自动编译方法,步骤S2中,模拟硬件的执行行为包含硬件电路逻辑的执行规则以及执行的方案,其中包含基本功能单元BFU算子编程函数、查找单元SBOX算子编程函数、比特置换单元BENES算子编程函数的功能与硬件电路描述一致的函数编写。
进一步的,本发明所提出的可重构系统芯片编译器自动编译方法,BFU算子编程函数能够实现多种运算,符合计算密集型的密码算法的特征。
进一步的,本发明所提出的可重构系统芯片编译器自动编译方法,BFU算子编程函数能够实现加法AU,逻辑运算LU,移位运算SU以及乘法运算MU;其中,每个BFU单元有3个32bit的输入,有2个32bit的输出;BFU的3个输入分别命名为A、B、T,输出命名为X,Y,其中X为结果输出,Y为旁路输出。
进一步的,本发明所提出的可重构系统芯片编译器自动编译方法,一个可重构配置行内有四个SBOX,每个SBOX里有4个查找表,每个查找表分为上下两张子查找表,根据不同的配置选择查找不同的子查找表,同时SBOX有不同的查找模式,分别实现不同的查找功能。
进一步的,本发明所提出的可重构系统芯片编译器自动编译方法,BENES算子编程函数的输入4个32bit操作数,输出4个32bit数据,实现128bit数据的任意bit置换,每行可重构配置行包含1个128位的BENES,用于非线性的比特置换。
进一步的,本发明所提出的可重构系统芯片编译器自动编译方法,步骤S4中,仿真器将通过验证的源程序生成的具有数据依赖关系的映射图翻译生成图形界面的形式,并生成目标硬件所识别的二进制机器代码供硬件所使用。
为解决技术问题,本发明还提出一种面向信息安全的可重构系统芯片编译器,包括:
源程序输入模块,其被配置用于:基于密码算法特征所设计的含有特殊标记的高级语言来描述源程序文件;
软件编译功能验证模块,其被配置用于:针对输入的算法描述语言进行功能验证,模拟硬件的执行行为,并验证功能是否正确;
编译映射模块,其被配置用于:将将功能验证正确的源文件通过编译器的编译得到具有数据依赖关系的数据流图;
仿真执行模块,其被配置用于:将编译器编译生成的具有数据依赖关系的数据流图执行得到仿真结果;
配置码生成模块,其被配置用于:将运行结果正确的阵列映射生成硬件所能识别执行的二进制语言文件;
硬件调试模块,其被配置用于:使用仿真器生成的二进制配置码文件来指导硬件行为操作。
进一步的,本发明所提出的面向信息安全的可重构系统芯片编译器,软件编译功能验证模块,包含输入输出FIFO模块,带移位的SREG存储单元模块,IMD立即数存储单元,MEM数据缓存模块,BFU算子计算模块,SBOX非线性查找表单元,BENES比特置换单元模块的执行函数;其中
输入输出FIFO模块,输入FIFO模块接收128bit宽度的数据,存放到内部存储器里,等待算子读取接口上的数据之后更新数据;输出FIFO模块,接收来自计算算子的输出数据。
IMD立即数存储单元,用于存储配置数据。
带移位的SREG存储单元模块,用于中间过程的缓存及移位计算;
MEM数据缓存模块,用于存储初始化的数据以及中间过程的缓存数据;
BFU算子计算模块,其被配置用于实现加法AU,逻辑运算LU,移位运算SU以及乘法运算MU;其中,每个BFU单元有3个32bit的输入,有2个32bit的输出;BFU的3个输入分别命名为A、B、T,输出命名为X,Y,其中X为结果输出,Y为旁路输出;
SBOX非线性查找表单元,其被配置用于根据不同的配置选择查找不同的子查找表,并根据不同的查找模式,实现不同的查找功能;
BENES比特置换单元模块的执行函数,其被配置用于输入4个32bit操作数,输出4个32bit数据,实现128bit数据的任意bit置换,每行可重构配置行包含1个128位的BENES,用于非线性的比特置换。
本发明采用以上技术方案与现有技术相比具有以下有益效果:
1、解决了对算法映射人员要求高的问题,相比于传统的可重构编译器自动化映射流程,本发明对算法映射人员要求更低,同时软件编译调试相比于硬件仿真运行更具有一定的灵活性。
2、相比于传统的可重构编译器自动化映射流程,本发明解决了在密码算法源代码编写过程中,由于用户对算法理解不透彻,软件代码编写经验不足所带来的语法及功能编写错误而反复进行映射仿真调试这一系列操作所耗费的时间问题。
3、相比于传统的可重构编译器自动化映射流程,本发明在进行软件预编译的过程中可以将算法实现过程的中间数据在算子端口上展现出来,这一效果为后续的硬件仿真调试以及数据流的更新提供标准数据。
4、相比于传统的可重构编译器自动化映射流程,软件调试的过程相对较简单,同时在对源代码进行调试的过程中可以查看每个周期的运行结果,即硬件接口或者数据缓存器上每个周期的数据。
5、相比于传统的可重构编译器自动化映射流程,软件便于调试的过程不需要关注映射的方案、算子映射布局以及连线等问题,这大大降低了对算法开发人员的要求,进一步的缩短了开发周期。
附图说明
图1为传统的可重构架构编译自动化映射流程图。
图2为本发明可重构架构编译自动化映射流程图。
图3为本发明BFU计算模块的结构示意图。
图4为本发明SBOX查找表示意图。
图5为本发明BENES128bit示意图。
图6为本发明软件编译环境所包含的内置函数模块示意图。
具体实施方式
下面结合附图对本发明的具体实施方式做更进一步的解释。以下实施例仅用于更加清楚地说明本发明的技术方案,而不能以此来限制本发明的保护范围。
本发明公开了一种面向信息安全的可重构系统芯片编译框架的简化流程设计,其灵活性体现在用户可以对硬件的计算功能进行配置,高性能的原因是采用硬件并行的计算方式,而在实现某个计算功能时,其配置方案往往成为影响计算性能的关键。为了解决人工配置时间长、效果不稳定、硬件包容性差等缺点,可重构处理器一般通过将定制的高级语言作为输入来缩短可重构系统的开发周期,降低对用户的硬件掌握程度的需要,以更优化的方式将各部分的计算功能单元映射到可重构处理器上,是可重构系统中不可或缺的一部分。
传统的编译器映射调试方案是由高级语言编译到仿真器仿真调试的过程,在这一过程中无法保证源代码的语法和功能的正确性,然而仿真器调试运行的过程是一个非常耗时耗力的过程,并且没有中间过程结果相对应难以纠错,为解决这一问题本发明提出一种软件编译执行的方案来进一步加快可重构自动化映射的流程,进一步降低对硬件掌握程度的要求。
如图1所示,传统的可重构架构编译自动化映射流程图,首先用户通过算法协议来编写硬件相关的高级语言表示,其次将编写好的源程序进行编译器的编译,再将编译出来的带有一定数据依赖的数据流图进行模拟器的仿真运行操作,最后将仿真运行结果正确的映射图生成配置码给硬件所使用,在这一过程中,如果对编写的源程序有一些小的改动则需要重新进行以上步骤,这个过程是一个耗时耗力的过程。
因此为了进一步节约时间,进一步降低对算法映射人员的要求,本发明提出一种基于密码算法的可重构编译自动化映射的预编译检查模块;如图2所示,通过增加源代码预编译的流程来确保编写的密码算法的功能正确性,其中,软件编译具有很强的灵活性,能够节约大量的编译器仿真器的调试时间;首先用户通过算法协议来编写硬件相关的高级语言,在此过程中用户可能对协议及硬件结构的了解不够充分而在编写过程中存在很多问题和错误,通过增加此流程即可保证密码算法源程序正确执行后才进行编译器的编译,可以直接将编译正确的映射进行仿真器仿真生成配置码供硬件所使用。
软件编译功能验证模块环境的搭建包含了硬件执行逻辑的方案,其中包含输入输出FIFO模块,带移位的SREG存储单元模块,IMD立即数存储单元,MEM数据缓存模块,BFU算子计算模块,SBOX非线性查找表单元,BENES比特置换单元模块的执行函数。某个密码算法编写完成后通过调用这些函数进行软件执行,提前模拟计算结果,并且软件调试具有一定的通用性灵活性,可以通过打印的方式将输入输出结果以及中间过程的结果打印输出,用于查看硬件接口上的数据生成,在保证算法映射正确的前提下进一步缩短算法的开发周期。
如图3所示,BFU(Basic Function Unit, 基本功能单元)的模块示意图,其有三个32bit输入两个32bit输出,分别用A,B,T,X,Y来表示,其能够实现加法(AU),逻辑运算(LU),移位运算(SU)以及乘法运算(MU)。在一个可重构配置行计算单元内包含8个BFU,可实现的逻辑运算包括,与、或、异或以及三输入的任意组合;可实现的移位运算包括,逻辑左移、逻辑右移、循环左移、循环右移;可实现的加法运算包括,实现可选择并行4路模28加法、并行2路模216加法、模232加法、模232 -1加法,同时支持带进位的加法操作,进行X=A+B+T操作,其中32位加模式下T第0位有效;可实现的乘法运算包括,实现16位乘法,X[31:0] = A[15:0]* B[15:0]、实现8位乘法,X[31:0] = {8’b0, A[7:0]} *{8’b0, B[7:0]};将实现这些功能的逻辑函数在预编译验证环境中表示出来,源程序通过软件编译的形式将进一步验证其功能的正确性,相比于硬件调试软件调试能够缩短大量的时间。
如图4所示,SBOX作为一个非线性的查找单元,其一个可重构配置行内有四个SBOX,每个SBOX里有4个查找表,考虑尽可能的利用查找表资源,每个查找表分为上下两张子查找表,根据不同的配置选择查找不同的子查找表,同时SBOX有不同的模式,实现不同的查找功能。在软件编译的框架中,编写SBOX的内置函数,并添加其各密码算法所使用的查找表资源文件,通过函数的调用即可按照一定的规则进行查表运算。
如图5所示BENES算子,用于实现非线性运算位的置换功能,在一个可重构配置行计算单元内包含1个BENES ,BENES的输入4个32bit操作数,输出4个32bit数据,实现128bit数据的任意bit置换。在软件编译的框架中,编写BENES的内置函数,并添加其各密码算法所使用的置换单元的资源文件,通过函数的调用即可按照一定的规则进行比特置换运算。
本发明的实施例还提供一种面向信息安全的可重构系统芯片编译器,包括:
源程序输入模块,其被配置用于:基于密码算法特征所设计的含有特殊标记的高级语言来描述源程序文件;
软件编译功能验证模块,其被配置用于:针对输入的算法描述语言进行功能验证,模拟硬件的执行行为,并验证功能是否正确;
编译映射模块,其被配置用于:将将功能验证正确的源文件通过编译器的编译得到具有数据依赖关系的数据流图;
仿真执行模块,其被配置用于:将编译器编译生成的具有数据依赖关系的数据流图执行得到仿真结果;
配置码生成模块,其被配置用于:将运行结果正确的阵列映射生成硬件所能识别执行的二进制语言文件;
硬件调试模块,其被配置用于:使用仿真器生成的二进制配置码文件来指导硬件行为操作。
如图6所示软件编译环境所包含的内置函数模块,其中包含基本的计算单元模块BFU,其可实现的逻辑有加法、算数逻辑运算、移位运算以及乘法运算、查找表单元SBOX实现更复杂的非线性运算、BENES单元实现单Bit的置换、存储单元模块MEM用于存储初始化的数据以及中间过程的缓存数据,带有移位功能的缓存单元SREG用于中间过程的缓存及移位计算、输入存储单元IFIFO、输出存储单元OFIFO、以及可细粒度移位的功能单元LFSR模块。在软件编译环境中将这些功能模块单元按照硬件的逻辑实现,将算法映射人员编写的源代码进行模拟执行验证其功能的正确性,同时可以查看中间过程中的结果,进一步缩短算法的开发周期。
以上所述仅是本发明的优选实施方式,应当指出,对于本技术领域的普通技术人员来说,在不脱离本发明原理的前提下,还可以做出若干改进和润饰,这些改进和润饰也应视为本发明的保护范围。

Claims (10)

1.一种面向信息安全的可重构系统芯片编译器自动编译方法,其特征在于,包括:
S1、输入密码算法的源程序:基于密码算法特征所设计的含有特殊标记的高级语言来描述源程序文件;
S2、执行源程序的软件编译功能语法检查:针对输入的算法描述语言进行功能验证,模拟硬件的执行行为,并验证功能是否正确,如果是则进入下一步,如果否,则返回上一步;
S3、进行编译器编译映射:将功能验证正确的源文件通过编译器的编译得到具有数据依赖关系的数据流图;
S4、通过仿真器运行仿真执行密码算法:将编译器编译生成的具有数据依赖关系的数据流图执行得到仿真结果;
S5、由仿真器阵列生成配置码:将运行结果正确的阵列映射生成硬件所能识别执行的二进制语言文件,
S6、执行硬件调试:使用仿真器生成的二进制配置码文件来指导硬件行为操作。
2.根据权利要求1所述的可重构系统芯片编译器自动编译方法,其特征在于,步骤S1中,运用带标记的高级C语言描述密码算法,其最多支持两层For循环嵌套,不支持包括while的非规则循环,使用特殊基本功能单元BFU、查找单元SBOX、比特置换单元BENES算子函数进行编程。
3.根据权利要求1所述的可重构系统芯片编译器自动编译方法,其特征在于,步骤S2中,模拟硬件的执行行为包含硬件电路逻辑的执行规则以及执行的方案,其中包含基本功能单元BFU算子编程函数、查找单元SBOX算子编程函数、比特置换单元BENES算子编程函数的功能与硬件电路描述一致的函数编写。
4.根据权利要求3所述的可重构系统芯片编译器自动编译方法,其特征在于,BFU算子编程函数能够实现多种运算,符合计算密集型的密码算法的特征。
5.根据权利要求4所述的可重构系统芯片编译器自动编译方法,其特征在于,BFU算子编程函数能够实现加法AU,逻辑运算LU,移位运算SU以及乘法运算MU;其中,每个BFU单元有3个32bit的输入,有2个32bit的输出;BFU的3个输入分别命名为A、B、T,输出命名为X,Y,其中X为结果输出,Y为旁路输出。
6.根据权利要求3所述的可重构系统芯片编译器自动编译方法,其特征在于,一个可重构配置行内有四个SBOX,每个SBOX里有4个查找表,每个查找表分为上下两张子查找表,根据不同的配置选择查找不同的子查找表,同时SBOX有不同的查找模式,分别实现不同的查找功能。
7.根据权利要求3所述的可重构系统芯片编译器自动编译方法,其特征在于,BENES算子编程函数的输入4个32bit操作数,输出4个32bit数据,实现128bit数据的任意bit置换,每行可重构配置行包含1个128位的BENES,用于非线性的比特置换。
8.根据权利要求1所述的可重构系统芯片编译器自动编译方法,其特征在于,步骤S4中,仿真器将通过验证的源程序生成的具有数据依赖关系的映射图翻译生成图形界面的形式,并生成目标硬件所识别的二进制机器代码供硬件所使用。
9.一种面向信息安全的可重构系统芯片编译器,其特征在于,包括:
源程序输入模块,其被配置用于:基于密码算法特征所设计的含有特殊标记的高级语言来描述源程序文件;
软件编译功能验证模块,其被配置用于:针对输入的算法描述语言进行功能验证,模拟硬件的执行行为,并验证功能是否正确;
编译映射模块,其被配置用于:将将功能验证正确的源文件通过编译器的编译得到具有数据依赖关系的数据流图;
仿真执行模块,其被配置用于:将编译器编译生成的具有数据依赖关系的数据流图执行得到仿真结果;
配置码生成模块,其被配置用于:将运行结果正确的阵列映射生成硬件所能识别执行的二进制语言文件;
硬件调试模块,其被配置用于:使用仿真器生成的二进制配置码文件来指导硬件行为操作。
10.根据权利要求9所述的一种面向信息安全的可重构系统芯片编译器,其特征在于,软件编译功能验证模块,包含输入输出FIFO模块,IMD立即数存储单元,带移位的SREG存储单元模块,MEM数据缓存模块,BFU算子计算模块,SBOX非线性查找表单元,BENES比特置换单元模块的执行函数;其中
输入输出FIFO模块,输入FIFO模块接收128bit宽度的数据,存放到内部存储器里,等待算子读取接口上的数据之后更新数据;输出FIFO模块,接收来自计算算子的输出数据;
IMD立即数存储单元,用于存储配置数据;
带移位的SREG存储单元模块,用于中间过程的缓存及移位计算;
MEM数据缓存模块,用于存储初始化的数据以及中间过程的缓存数据;
BFU算子计算模块,其被配置用于实现加法AU,逻辑运算LU,移位运算SU以及乘法运算MU;其中,每个BFU单元有3个32bit的输入,有2个32bit的输出;BFU的3个输入分别命名为A、B、T,输出命名为X,Y,其中X为结果输出,Y为旁路输出;
SBOX非线性查找表单元,其被配置用于根据不同的配置选择查找不同的子查找表,并根据不同的查找模式,实现不同的查找功能;
BENES比特置换单元模块的执行函数,其被配置用于输入4个32bit操作数,输出4个32bit数据,实现128bit数据的任意bit置换,每行可重构配置行包含1个128位的BENES,用于非线性的比特置换。
CN202210679223.XA 2022-06-15 2022-06-15 面向信息安全的可重构系统芯片编译器、自动编译方法 Pending CN115080055A (zh)

Priority Applications (3)

Application Number Priority Date Filing Date Title
CN202210679223.XA CN115080055A (zh) 2022-06-15 2022-06-15 面向信息安全的可重构系统芯片编译器、自动编译方法
US17/992,132 US20230081697A1 (en) 2022-06-15 2022-11-22 Information security-oriented reconfigurable system chip compiler and automatic compilation method
PCT/CN2023/070107 WO2023241027A1 (zh) 2022-06-15 2023-01-03 面向信息安全的可重构系统芯片编译器、自动编译方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202210679223.XA CN115080055A (zh) 2022-06-15 2022-06-15 面向信息安全的可重构系统芯片编译器、自动编译方法

Publications (1)

Publication Number Publication Date
CN115080055A true CN115080055A (zh) 2022-09-20

Family

ID=83253245

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202210679223.XA Pending CN115080055A (zh) 2022-06-15 2022-06-15 面向信息安全的可重构系统芯片编译器、自动编译方法

Country Status (3)

Country Link
US (1) US20230081697A1 (zh)
CN (1) CN115080055A (zh)
WO (1) WO2023241027A1 (zh)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN117077603A (zh) * 2023-10-17 2023-11-17 北京开源芯片研究院 一种验证方法、芯片、系统、电子设备及可读存储介质
WO2023241027A1 (zh) * 2022-06-15 2023-12-21 东南大学 面向信息安全的可重构系统芯片编译器、自动编译方法

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN117170996B (zh) * 2023-11-02 2024-02-06 中国人民解放军63921部队 一种动态可重构星上处理系统评估平台及方法
CN117194276B (zh) * 2023-11-06 2024-01-23 沐曦集成电路(上海)有限公司 芯片软硬件联合仿真调试系统

Family Cites Families (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN103116493B (zh) * 2013-01-21 2016-01-06 东南大学 一种应用于粗粒度可重构阵列的自动映射方法
CN104579989B (zh) * 2015-01-14 2017-11-21 清华大学 基于路由交换范式的构件功能一致性验证方法及装置
CN106155755B (zh) * 2015-06-03 2020-06-23 上海红神信息技术有限公司 程序编译方法和程序编译器
US10671785B1 (en) * 2016-12-06 2020-06-02 Xilinx, Inc. Framework for reusing cores in simulation
CN115080055A (zh) * 2022-06-15 2022-09-20 东南大学 面向信息安全的可重构系统芯片编译器、自动编译方法

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2023241027A1 (zh) * 2022-06-15 2023-12-21 东南大学 面向信息安全的可重构系统芯片编译器、自动编译方法
CN117077603A (zh) * 2023-10-17 2023-11-17 北京开源芯片研究院 一种验证方法、芯片、系统、电子设备及可读存储介质
CN117077603B (zh) * 2023-10-17 2024-02-02 北京开源芯片研究院 一种验证方法、芯片、系统、电子设备及可读存储介质

Also Published As

Publication number Publication date
US20230081697A1 (en) 2023-03-16
WO2023241027A1 (zh) 2023-12-21

Similar Documents

Publication Publication Date Title
US20230081697A1 (en) Information security-oriented reconfigurable system chip compiler and automatic compilation method
KR100998586B1 (ko) 구성가능한 실행 유닛들을 구비한 고성능 하이브리드프로세서
US8554535B2 (en) Instruction-set architecture simulation techniques using just in time compilation
CN101763265B (zh) 一种过程级软硬件协同设计自动化开发方法
Sepp et al. Precise static analysis of binaries by extracting relational information
CN102955737B (zh) 异构处理器体系的程序调试方法和系统
Gong et al. Multi2Sim Kepler: A detailed architectural GPU simulator
Prakash et al. Cfu playground: Full-stack open-source framework for tiny machine learning (tinyml) acceleration on fpgas
JP2021501947A (ja) メモリ・ネットワーク・プロセッサ
US20100250564A1 (en) Translating a comprehension into code for execution on a single instruction, multiple data (simd) execution
US20100131744A1 (en) Method and system of a processor-agnostic encoded debug-architecture in a pipelined environment
CN103279323B (zh) 一种加法器
Bo et al. Automata processing in reconfigurable architectures: In-the-cloud deployment, cross-platform evaluation, and fast symbol-only reconfiguration
C. Penha et al. ADD: Accelerator Design and Deploy‐A tool for FPGA high‐performance dataflow computing
Bond et al. FPGA circuit synthesis of accelerator data-parallel programs
CN105447285A (zh) 一种提高OpenCL硬件执行效率的方法
Qin et al. Design and performance analysis on static and dynamic pipelined CPU in course experiment of computer architecture
Li et al. Using design space exploration for finding schedules with guaranteed reaction times of synchronous programs on multi-core architecture
Villarraga et al. An equivalence checker for hardware-dependent embedded system software
Prokhorov Computers in Russia: science, education, and industry
Lai et al. Placement for the reconfigurable datapath architecture
Ranga ParrotPiton and ZynqParrot: FPGA Enablements for the BlackParrot RISC-V Processor
Melo et al. A platform for full-stack functional programming
Ambrose et al. SDG2KPN: System Dependency Graph to function-level KPN generation of legacy code for MPSoCs
Cho et al. Case study: verification framework of Samsung reconfigurable processor

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