一种RTL级电路中对冗余逻辑单元的优化方法及系统技术方案

本发明专利技术公开了一种RTL级电路中对冗余逻辑单元的优化方法及系统，所述方法包括：根据不同的端口属性对RTL电路中的各种逻辑单元的类型进行定义；遍历RTL电路，查找符合自定义的逻辑单元类型的逻辑单元；判断符合自定义的逻辑单元类型的逻辑单元是否相同，若相同，则将其进行合并。采用本发明专利技术的技术方案，可对RTL级电路中对冗余逻辑单元的优化。路中对冗余逻辑单元的优化。路中对冗余逻辑单元的优化。

【技术实现步骤摘要】
一种RTL级电路中对冗余逻辑单元的优化方法及系统


[0001]本专利技术涉及寄存器转换级电路(RTL)的优化
，尤其涉及一种RTL级电路中对冗余逻辑单元的优化方法及系统。

技术介绍

[0002]目前，现有的大多数电路综合器在实现RTL级电路综合时，都会考虑使用一定的技术来优化电路，特别的，找出并去除电路中存在的冗余逻辑单元是优化技术中的一个重要方面。所谓的冗余逻辑单元，就是在逻辑功能上完全一致的两个单元，或者是一个存在有待化简的逻辑块。这些冗余逻辑单元的存在，会导致RTL级电路结构庞大，进行综合时消耗大量的处理器资源。

技术实现思路

[0003]本专利技术的目的是针对现有技术中RTL级电路存在的电路冗余技术问题，本专利技术提出一种RTL级电路中对冗余逻辑单元的优化方法及系统。
[0004]本专利技术实施例中，提供了一种RTL级电路中对冗余逻辑单元的优化方法，其特征在于，包括：
[0005]根据不同的端口属性对RTL电路中的各种逻辑单元的类型进行定义；
[0006]遍历RTL电路，查找符合自定义的逻辑单元类型的逻辑单元；
[0007]判断符合自定义的逻辑单元类型的逻辑单元是否相同，
[0008]若相同，则将其进行合并。
[0009]本专利技术实施例中，逻辑单元的类型包括一元运算类型的单元、二元运算类型的单元、数据选择器类型的单元、触发器单元和寄存器单元。
[0010]本专利技术实施例中，遍历RTL电路，查找符合自定义的逻辑单元类型的逻辑单元，包括：
[0011]将存在资源共享的逻辑单元中与已定义类型中相符合的逻辑单元收集起来，作为备选对象；
[0012]对逻辑单元的单元类型、内部参数、端口连接信息做哈希映射，得到哈希寻址表。
[0013]本专利技术实施例中，判断符合自定义的逻辑单元类型的逻辑单元是否相同，包括：
[0014]如果两个逻辑单元的哈希值相等，则认为这两个逻辑单元是相同单元。
[0015]本专利技术实施例中，所述的RTL级电路中对冗余逻辑单元的优化方法，还包括：
[0016]如果两个逻辑单元的的哈希值不一致，则继续检测两个逻辑单元的单元类型、内部参数是否一致，若不一致，则退出，若一致则继续判断两个逻辑单元的输出是否存在逻辑互斥，若不存在逻辑互斥，则退出，若存在逻辑互斥，则将两个逻辑单元合并，并将不一致的输入信息分别接入数据选择器，然后将数据选择器的输出连接至合并后的逻辑单元的相应输入端口。
[0017]本专利技术实施例中，还包括一种RTL级电路中对冗余逻辑单元的优化系统，其包括：
[0018]逻辑单元类型定义模块，用于根据不同的端口属性对RTL电路中的各种逻辑单元的类型进行定义；
[0019]逻辑单元查找模块，用于遍历RTL电路，查找符合自定义的逻辑单元类型的逻辑单元；
[0020]判断模块，用于判断符合自定义的逻辑单元类型的逻辑单元是否相同；
[0021]逻辑单元合并模块，用于将相同的逻辑单元进行合并。
[0022]本专利技术实施例中，逻辑单元的类型包括一元运算类型的单元、二元运算类型的单元、数据选择器类型的单元、触发器单元和寄存器单元。
[0023]本专利技术实施例中，所述逻辑单元查找模块遍历RTL电路，查找符合自定义的逻辑单元类型的逻辑单元，包括：
[0024]将存在资源共享的逻辑单元中与已定义类型中相符合的逻辑单元收集起来，作为备选对象；
[0025]对逻辑单元的单元类型、内部参数、端口连接信息做哈希映射，得到哈希寻址表。
[0026]本专利技术实施例中，所述判断模块判断符合自定义的逻辑单元类型的逻辑单元是否相同，包括：
[0027]如果两个逻辑单元的哈希值相等，则认为这两个逻辑单元是相同单元。
[0028]本专利技术实施例中，所述的RTL级电路中对冗余逻辑单元的优化系统，还包括：
[0029]逻辑单元化简模块，用于在两个逻辑单元的的哈希值不一致时，继续检测两个逻辑单元的单元类型、内部参数是否一致，若不一致，则退出，若一致则继续判断两个逻辑单元的输出是否存在逻辑互斥，若不存在逻辑互斥，则退出，若存在逻辑互斥，则将两个逻辑单元合并，并将不一致的输入信息分别接入数据选择器，然后将数据选择器的输出连接至合并后的逻辑单元的相应输入端口。
[0030]与现有技术相比较，采用本专利技术的RTL级电路中对冗余逻辑单元的优化方法及系统，根据不同的端口属性对RTL电路中的各种逻辑单元的类型进行定义，遍历RTL电路，查找符合自定义的逻辑单元类型的逻辑单元，判断符合自定义的逻辑单元类型的逻辑单元是否相同，若相同，则将其进行合并，从而可以降低TRL电路的冗余；进一步地，在两个逻辑单元的的哈希值不一致时，继续检测两个逻辑单元的单元类型、内部参数是否一致，若不一致，则退出，若一致则继续判断两个逻辑单元的输出是否存在逻辑互斥，若不存在逻辑互斥，则退出，若存在逻辑互斥，则将两个逻辑单元合并，并将不一致的输入信息分别接入数据选择器，然后将数据选择器的输出连接至合并后的逻辑单元的相应输入端口，可以对RTL电路进行简化，在大规模电路情况中实现电路性能的提升。
附图说明
[0031]图1是本专利技术实施例的RTL级电路中对冗余逻辑单元的优化方法的流程图。
[0032]图2(a)是本专利技术实施例中相同的加法器的示意图。
[0033]图2(b)是本专利技术实施例中相同的加法器合并后的示意图。
[0034]图3(a)是本专利技术实施例中两个加法器的输入存在一个相同一个不同的示意图。
[0035]图3(b)是本专利技术实施例中对图3(a)中的两个加法器进行简化后的示意图。
[0036]图3(c)是本专利技术实施例中两个加法器的输入完全不同的示意图。
[0037]图3(d)是本专利技术实施例中对图3(c)中的两个加法器进行简化后的示意图。
[0038]图4(a)是本专利技术实施例中一种RTL级电路的示意图。
[0039]图4(b)是本专利技术实施例中对图4(a)中的RTL级电路进行优化后的示意图。
[0040]图4(c)是图4(a)和图4(b)中优化前后的逻辑单元的数量对比图。
[0041]图5是本专利技术实施例的RTL级电路中对冗余逻辑单元的优化系统的结构示意图。
具体实施方式
[0042]如图1所示，本专利技术实施例中，提供了一种RTL级电路中对冗余逻辑单元的优化方法，其包括步骤S1
‑
S5。下面分别进行说明。
[0043]步骤S1：根据不同的端口属性对RTL电路中的各种逻辑单元的类型进行定义。
[0044]需要说明的是，本专利技术实施例中，逻辑单元的类型包括一元运算类型的单元、二元运算类型的单元、数据选择器类型的单元、触发器单元和寄存器单元。例如，一元运算类型的单元，有按位与and(&)、按位或or(|)、按位非not(～)等，其端口属性固定为input{A},output{Y}。二本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种RTL级电路中对冗余逻辑单元的优化方法，其特征在于，包括：根据不同的端口属性对RTL电路中的各种逻辑单元的类型进行定义；遍历RTL电路，查找符合自定义的逻辑单元类型的逻辑单元；判断符合自定义的逻辑单元类型的逻辑单元是否相同，若相同，则将其进行合并。2.如权利要求1所述的RTL级电路中对冗余逻辑单元的优化方法，其特征在于，逻辑单元的类型包括一元运算类型的单元、二元运算类型的单元、数据选择器类型的单元、触发器单元和寄存器单元。3.如权利要求1所述的RTL级电路中对冗余逻辑单元的优化方法，其特征在于，遍历RTL电路，查找符合自定义的逻辑单元类型的逻辑单元，包括：将存在资源共享的逻辑单元中与已定义类型中相符合的逻辑单元收集起来，作为备选对象；对逻辑单元的单元类型、内部参数、端口连接信息做哈希映射，得到哈希寻址表。4.如权利要求3所述的RTL级电路中对冗余逻辑单元的优化方法，其特征在于，判断符合自定义的逻辑单元类型的逻辑单元是否相同，包括：如果两个逻辑单元的哈希值相等，则认为这两个逻辑单元是相同单元。5.如权利要求4所述的RTL级电路中对冗余逻辑单元的优化方法，其特征在于，还包括：如果两个逻辑单元的的哈希值不一致，则继续检测两个逻辑单元的单元类型、内部参数是否一致，若不一致，则退出，若一致则继续判断两个逻辑单元的输出是否存在逻辑互斥，若不存在逻辑互斥，则退出，若存在逻辑互斥，则将两个逻辑单元合并，并将不一致的输入信息分别接入数据选择器，然后将数据选择器的输出连接至合并后的逻辑单元的相应输入端口。6.一种RTL级电路中对冗余逻辑单元的优化系统，其特征在于，包括：逻辑单元类型定义模...

【专利技术属性】
技术研发人员：汪杰，刘美华，苏宇，白耿，游海龙，
申请(专利权)人：深圳国微芯科技有限公司，
类型：发明
国别省市：