高级综合方法、高级综合装置和高级综合系统制造方法及图纸

本公开的实施例涉及高级综合方法、高级综合装置和高级综合系统。生成实现任何功能安全系统的RTL描述。一种用于生成RTL描述的高级综合方法，其中通过使用定义功能逻辑的操作描述、定义高级综合约束的高级综合脚本和指定要在高级综合过程中插入的功能安全系统的功能安全系统实现规范来插入功能安全系统。高级综合方法包括：控制数据流程图生成步骤，其中高级综合单元使用操作描述生成控制数据流程图；以及第一功能安全系统插入处理步骤，其中在控制数据流程图生成步骤之后，高级综合单元根据功能安全系统实现规范将功能安全系统插入到控制数据流程图中。

【技术实现步骤摘要】
高级综合方法、高级综合装置和高级综合系统相关申请的交叉引用于2019年3月26日提交的日本专利申请No.2019-057749的公开内容(包括说明书、附图和摘要)通过引用整体合并于此。
本专利技术涉及高级综合方法、高级综合装置和高级综合系统。
技术介绍
随着电路规模的增加，使用系统级语言和编程语言的集成电路设计变得越来越流行。例如，为了从系统级语言或编程语言转换为硬件描述语言，已知一种被称为高级综合的技术。通过使用操作描述和用于指定高级综合的约束的高级综合脚本执行高级综合来生成用于实现操作描述的内容的电路配置作为硬件描述语言，在该操作描述中，仅具体描述被实现为电路的功能的功能逻辑。对于高级综合，例如，公开了以下专利文献和非专利文献。下面列出了所公开的技术。[非专利文献1]ISBN978-1-4500-9724-6的“High-LevelSynthesisBlueBook”[专利文献1]国际未审查专利申请公开号WO/2015/155815[非专利文献2]AustemperDesign的网站，“安全tySynthesis”项，[2018年10月18日搜索的]，互联网<URL：http://www.austemperdesign.com/安全ty-synthesis/>非专利文献1描述了一般的高级综合。在高级综合中，通过输入操作描述来生成可以逻辑地综合的RTL(寄存器转移级别)描述。在该过程中，将基于高级综合约束执行诸如CDFG创建、调度、绑定和控制电路创建等过程，并且生成RTL描述。在CDFG创建中，将对行为描述的各个步骤之间的数据依赖性进行分析以创建作为内部表示的图形。在调度中，确定用于执行在CDFG中描述的操作的定时。在绑定中，将硬件资源映射到CDFG的相应操作。在控制电路生成中，生成用于控制所调度的操作的执行的电路。专利文献1公开了一种电路设计装置，其包括错误对策电路并且可以设计以期望的操作频率操作的集成电路。电路设计装置中的特征输入是错误对策库(延迟信息，诸如多数电路)和错误对策的目标插入次数。电路设计装置将所调度的CDFG划分为操作路径，并且在错误对策被添加到相应操作路径时计算延迟量。如果延迟量小于目标延迟量，则电路设计装置生成RTL描述，其中诸如三工等错误对策被应用于操作路径。另外，电路设计装置根据错误对策的输入目标插入次数来限制要执行的错误对策的数目。如果未达到错误对策的目标插入次数，则电路设计装置对未被应用错误对策的操作路径进行细分。电路设计装置计算错误对策被应用于每个划分的操作路径时的延迟量，并且确定是否实现错误对策。在非专利文献2中，执行RTL描述转换，以将错误检测电路和错误校正电路添加到由RTL或指定电路元件确定的电路结构。输入RTL描述和宏列表/FF列表，并且生成向其添加了错误检测电路和错误校正电路的RTL描述。
技术实现思路
在开发诸如车载SoC(片上系统)等集成电路时，有时需要将要安装的IP模块与功能安全系统一起安装。在高级综合中，并非所有电路元件在操作描述中都被描述为输入，而在作为高级综合的输出的RTL描述中描述了所有电路元件。在非专利文献1中，功能安全系统是用于检测硬件故障的系统，并且当未假定硬件故障时，它是不影响在操作描述中描述的原始功能的冗余逻辑。在从行为描述创建CDFG时，高层综合会在删除和优化冗余逻辑之后生成RTL描述。在高级综合中，假定未发生硬件故障。因此，即使在操作描述中描述了功能安全系统并且执行了高级综合，功能安全系统的逻辑也被确定为冗余逻辑，并且冗余逻辑被删除。因此，常规的高级综合具有以下问题：在操作描述中描述的功能安全系统的电路没有被反映在RTL描述中。在专利文献1中，高级综合可以生成具有错误对策的RTL描述。但是，专利文献1着眼于当错误对策被应用于操作路径时的延迟量的计算，因此，无法针对操作描述的特定逻辑来实现适当的功能安全系统。此外，当要为从高级综合生成的RTL描述实现功能安全系统时，即使仅查看RTL描述，也很难手动地确定每个RTL描述是电路元件实现的什么逻辑。因此，为了在使用高级综合的常规集成电路设计中实现功能安全系统，需要从高级综合中输出操作描述与RTL描述之间的对应关系，并且基于该信息来提取与需要实现功能安全系统的电路元件相对应的RTL描述。因此，在使用高级综合的电路设计中实现用于RTL描述的任意功能安全系统极其困难。从本说明书的描述和附图，其他目的和新颖特征将变得很清楚。尽管在本说明书中描述了多个实施例的高级综合方法等，但是将如下描述一个实施例的高级综合方法。高级综合方法生成RTL描述，其中通过使用定义功能逻辑的操作描述、定义高级综合约束的高级综合脚本和指定要在高级综合过程中插入的功能安全系统的功能安全系统实现规范来插入功能安全系统。高级综合方法包括：控制数据流程图生成步骤，其中高级综合单元使用操作描述生成控制数据流程图；以及第一功能安全系统插入处理步骤，其中在控制数据流程图生成步骤之后，高级综合单元根据功能安全系统实现规范将功能安全系统插入到控制数据流程图中。根据一个实施例，可以生成实现任何功能安全系统的RTL描述。附图说明图1是示出根据本专利技术的实施例1的高级综合装置的示例的配置图；图2是示出高级综合的概要的说明图；图3是示出功能安全系统实现规范的图；图4是示出使用行号和功能名称来指定用于插入功能安全系统的位置的方法的图；图5是用于说明其中针对通过高级综合而添加的电路元件实现功能安全系统的情况的图；图6是示出通过用于控制循环操作的电路名称来指定功能安全系统被插入的位置的方法的图；图7是用于说明要插入的功能安全系统的示例的图；图8是用于说明要插入的功能安全系统的另一示例的图；图9是用于说明要插入的功能安全系统的另一示例的图；图10是示出指定要进行错误检查的输入信号的方法的示例的图；图11是示出指定要进行错误检查的输入信号的方法的另一示例的图；图12是示出指定要进行错误检查的输入信号的方法的另一示例的图；图13是示出通过输出端口指定错误检查输出信号的方法的示例的图；图14是示出通过输出端口指定错误检查输出信号的方法的另一示例的图；图15是示出通过输出端口指定错误检查输出信号的方法的另一示例的图；图16是示出指定用于存储错误检查输出信号的寄存器的方法的示例的图；图17是示出通过时钟周期数指定错误检查执行周期的方法的示例的图；图18是示出通过功能安全系统模块名称进行指定的方法的示例的图；图19是示出根据本专利技术的实施例1的高级综合方法的示例的说明图；图20是示出用于说明高级综合方法的操作描述、高级综合脚本和功能安全系统实现规范的图；图21是示出示例性CDFG的图；图22是示出功能安全系统插入(1)的示例的流程图；图23是示出示例性sm本文档来自技高网...

【技术保护点】
1.一种用于高级代码综合的方法，包括：/n(a)基于定义功能逻辑的操作描述生成控制数据流程图；/n(b)根据预定实现规范将功能安全逻辑插入到所述控制数据流程图。/n

【技术特征摘要】
20190326 JP 2019-0577491.一种用于高级代码综合的方法，包括：
(a)基于定义功能逻辑的操作描述生成控制数据流程图；
(b)根据预定实现规范将功能安全逻辑插入到所述控制数据流程图。


2.根据权利要求1所述的方法，
其中所述(b)插入被执行到在所述预定实现规范中指定的所述操作描述中的目的地。


3.根据权利要求2所述的方法，还包括：
(c)基于由高级综合脚本定义的高级综合规则执行调度过程；以及
(d)将所述调度过程的结果与与所述控制数据流程图相对应的目标设备的处理器和寄存器绑定...

【专利技术属性】
技术研发人员：今村慎太郎，
申请(专利权)人：瑞萨电子株式会社，
类型：发明
国别省市：日本;JP