发明名称 逻辑电路之设计方法,逻辑电路之设计支援系统,及电脑可读取的记录媒体
摘要 本发明之课题在于:最佳化对于藉由硬体记述语言之逻辑电路记述的逻辑合成,缩短时间。其解决手段为:考虑电路方块之汉明距离(Hamming distance)以判定以藉由硬体记述语言之逻辑电路记述所被给予之复数的电路方块的最适当化算术候补(S1~S3)。考虑电路方块相互间的结合度以群组化在第1处理被判定的最佳化演算法候补的共通电路方块(S4~S6)。群组化之结果系对于在演算法候补或结合度之方面为特征明确之电路方块的结果,前述特征之不明确的电路方块也残留下来。为了进行对于特征不明确的电路方块之群组化的最佳化,将前述群组化之结果反映于起始状态,藉由遗传演算法以最佳化复数的电路方块的群组化(S7~S13)。
申请公布号 TWI229275 申请公布日期 2005.03.11
申请号 TW090118875 申请日期 2001.08.02
申请人 日立制作所股份有限公司 发明人 宫崎浩;江口一彦;谷本匡亮
分类号 G06F17/50 主分类号 G06F17/50
代理机构 代理人 林志刚 台北市中山区南京东路2段125号7楼
主权项 1.一种逻辑电路的设计方法,其特征为包含:利用模糊推断以分别针对藉由硬体记述语言之逻辑电路记述所被记述之复数个电路方块来判定最佳化演算法候补之第1处理;以及利用模糊推断来群组化根据在前述第1处理中判定之最佳化算法候补而应作为最佳化者判定的复数个电路方块所构成的电路方块之第2处理;以及将藉由前述第2处理之群组化的结果反映于起始状态,藉由遗传算法来最佳化前述复数的电路方块之群组化之第3处理,前述最佳化演算法候补系关于根据有关输入信号与输出信号的汉明距离之指数而定的电路方块之演算法的候补。2.一种逻辑电路的设计方法,其特征为包含:利用考虑电路方块间的汉明距离之模糊推断来判定藉由硬体记述语言之逻辑电路记述所被记述之复数个电路方块的最佳化算法候补之第1处理;以及利用考虑电路方块相互间之结合度之模糊推断来群组化根据在前述第1处理中判定之最佳化算法候补而应作为最适化者判定的复数个电路方块所构成的电路方块之第2处理;以及将藉由前述第2处理之群组化的结果反映于遗传演算法的起始状态,藉由遗传算法来最佳化前述复数的电路方块之群组化之第3处理,前述最佳化演算法候补系关于根据有关输入信号与输出信号的汉明距离之指数而定的电路方块之演算法的候补。3.如申请专利范围第2项记载之逻辑电路的设计方法,其中前述第1处理系依据考虑表示电路方块之输入输出状态之不同的程度之汉明距离之指数与演算法候补之相关,以判定前述最佳化演算法候补,前述演算法候补系关于根据所定的条件而定的电路方块之演算法的候补。4.如申请专利范围第3项记载之逻辑电路的设计方法,其中前述指数系以使用电路方块之状态数S、电路方块的输入信号数N、电路方块的输出信号数M、以及输入信号的第i号与输出信号的第j号之汉明距离Hij之计算式∣Hij-S/2∣/(N*M*S/2)所求取之平均汉明距离指数。5.如申请专利范围第4项记载之逻辑电路的设计方法,其中前述指数与演算法候补之相关系藉由:作为演算法候补在AND-EOR系候补、AND-OR系候补、其以外之候补之中,以与前述指数之关系规定与哪一个最为接近之正确度之成员函数而被给予。6.如申请专利范围第2项记载之逻辑电路的设计方法,其中前述第2处理系依据考虑电路方块相互间之信号的一致性之结合度与对于电路方块之统合可否之相关,群组化应统合电路方块。7.如申请专利范围第2项记载之逻辑电路的设计方法,其中前述第3处理系利用考虑藉由电路方块之群组化之逻辑规模的评价函数,前述评价函数系产生供以评价以应统合而被群组化的电路方块与对应于彼之前述演算法候补的一对作为遗传基因而具有的个体适应度的値之函数。8.如申请专利范围第7项记载之逻辑电路的设计方法,其中前述第3处理系使用考虑藉由电路方块之群组化之逻辑的变数之数、逻辑段数、以及合成负荷之前述评价函数。9.一种逻辑电路的设计支援系统,其特征为:具有:输入手段、记忆、以及利用来自前述输入手段输入资讯及前述记忆部来进行运算处理之资料处理手段,前述输入手段可以输入藉由硬体记述语言之逻辑电路记述资料,藉由前述资料处理手段而执行的处理系包含:利用模糊推断来判定藉由前述逻辑电路记述所被给予之各电路方块的最佳化算法候补之第1处理;以及利用模糊推断来群组化根据在前述第1处理中判定之最佳化算法候补而应作为最适化者判定的复数个电路方块所构成的电路方块之第2处理;以及将藉由前述第2处理之群组化的结果反映于遗传演算法的起始状态,藉由遗传算法来最佳化复数的电路方块之群组化之第3处理,前述最佳化演算法候补系关于根据有关输入信号与输出信号的汉明距离之指数而定的电路方块之演算法的候补。10.一种逻辑电路的设计支援系统,其特征为:具有:输入手段、记忆部、以及利用来自前述输入手段输入资讯及前述记忆部来进行运算处理之资料处理手段,前述输入手段可以输入藉由硬体记述语言之逻辑电路记述资料,藉由前述资料处理手段而执行的处理系包含:利用考虑电路方块的汉明距离之模糊推断来判定藉由前述逻辑电路记述所被给予之各电路方块的最佳化算法候补之第1处理;以及利用考虑电路方块相互间之结合度之模糊推断来群组化根据在前述第1处理中判定之最佳化算法候补而应作为最适化者判定的复数个电路方块所构成的电路方块之第2处理;以及将藉由前述第2处理之群组化的结果反映于遗传演算法的起始状态,藉由遗传算法来最佳化复数的电路方块之群组化之第3处理,前述最佳化演算法候补系关于根据有关输入信号与输出信号的汉明距离之指数而定的电路方块之演算法的候补。11.如申请专利范围第10项记载之逻辑电路的设计支援系统,其中前述资料处理手段系于前述第1处理中,依据考虑表示电路方块之输入输出状态之不同的程度之汉明距离之指数与演算法候补之相关,以判定最佳化演算法候补,前述演算法候补系关于根据所定的条件而定的电路方块之演算法的候补。12.如申请专利范围第11项记载之逻辑电路的设计支援系统,其中前述指数系以使用电路方块之状态数S、电路方块的输入信号数N、电路方块的输出信号数M、以及输入信号的第i号与输出信号的第j号之汉明距离Hij之计算式∣Hij-S/2∣/(N*M*S/2)所求取之平均汉明距离指数。13.如申请专利范围第12项记载之逻辑电路的设计支援系统,其中前述指数与演算法候补之相关系藉由:作为演算法候补在AND-EOR系候补、AND-OR系候补、其以外之候补之中,以与前述指数之关系规定与哪一个最为接近之正确度之成员函数而被给予。14.如申请专利范围第9或10项记载之逻辑电路的设计支援系统,其中前述资料处理手段系于前述第2处理中,依据考虑电路方块相互间之信号的一致性之结合度与对于电路方块之统合可否之相关,群组化应统合电路方块。15.如申请专利范围第10项记载之逻辑电路的设计支援系统,其中前述资料处理手段系于前述第3处理中,利用考虑藉由电路方块之群组化之逻辑规模的评价函数,前述评价函数系产生供以评价以应统合而被群组化的电路方块与对应于彼之前述演算法候补的一对作为遗传基因而具有的个体适应度的値之函数。16.如申请专利范围第15项记载之逻辑电路的设计支援系统,其中前述资料处理手段系于前述第3处理中,使用考虑藉由电路方块之群组化之逻辑的变数之数、逻辑段数、以及合成负荷之评价函数。17.一种电脑可读取之记录媒体,其特征是在于记录使下列第1~第3处理执行之逻辑电路的设计支援程式;利用模糊推断以分别针对藉由硬体记述语言之逻辑电路记述被记述之复数个电路方块的来判定最佳化演算法候补之第1处理;以及利用模糊推断来群组化根据在前述第1处理中判定之最佳化算法候补而应作为最适化者判定的复数个电路方块所构成的电路方块之第2处理;以及将藉由前述第2处理之群组化的结果反映于启始状态,藉由遗传算法来最佳化复数的电路方块之群组化之第3处理,前述最佳化演算法候补系关于根据有关输入信号与输出信号的汉明距离之指数而定的电路方块之演算法的候补。18.一种用以储存使电脑执行逻辑电路的设计支援的程式之电脑可读取的记录媒体,其特征是在于记录使下列第1~第3处理执行之逻辑电路的设计支援程式;利用考虑电路方块间的汉明距离之模糊推断判定藉由硬体记述语言之逻辑电路记述所被记述之复数个电路方块的最佳化算法候补之第1处理;以及利用考虑电路方块相互间之结合度之模糊推断来群组化根据在前述第1处理中判定之最佳化算法候补而应作为最适化者判定的复数个电路方块所构成的电路方块之第2处理;以及将藉由前述第2处理之群组化的结果反映于遗传演算法的起始状态,藉由遗传算法来最佳化复数的电路方块之群组化之第3处理,前述最佳化演算法候补系关于根据有关输入信号与输出信号的汉明距离之指数而定的电路方块之演算法的候补。19.如申请专利范围第18项记载之用以储存使电脑执行逻辑电路的设计支援的程式之电脑可读取的记录媒体,其中前述第1处理系前述第1处理系依据考虑表示电路方块之输入输出状态之不同的程度之汉明距离之指数与演算法候补之相关,以判定最佳化演算法候补,前述演算法候补系关于根据所定的条件而定的电路方块之演算法的候补。20.如申请专利范围第19项记载之用以储存使电脑执行逻辑电路的设计支援的程式之电脑可读取的记录媒体,其中前述指数条以使用电路方块之状态数S、电路方块的输入信号数N、电路方块的输出信号数M、以及输入信号的第i号与输出信号的第j号之汉明距离Hij之计算式∣Hij-S/2∣/(N*M*S/2)所求取之平均汉明距离指数。21.如申请专利范围第20项记载之用以储存使电脑执行逻辑电路的设计支援的程式之电脑可读取的记录媒体,其中前述指数与演算法候补之相关系藉由:作为演算法候补在AND-EOR系候补、AND-OR系候补、其以外之候补之中,以与前述指数之关系规定与哪一个最为接近之正确度之成员函数而被给予。22.如申请专利范围第18项记载之用以储存使电脑执行逻辑电路的设计支援的程式之电脑可读取的记录媒体,其中前述第2处理系依据考虑电路方块相互间之信号的一致性之结合度与对于电路方块之统合可否之相关,群组化应统合电路方块。23.如申请专利范围第18项记载之用以储存使电脑执行逻辑电路的设计支援的程式之电脑可读取的记录媒体,其中前述第3处理系利用考虑藉由电路方块之群组化之逻辑规模的评价函数,前述评价函数条产生供以评价以应统合而被群组化的电路方块与对应于彼之前述演算法候补的一对作为遗传基因而具有的个体适应度的値之函数。24.如申请专利范围第23项记载之用以储存使电脑执行逻辑电路的设计支援的程式之电脑可读取的记录媒体,其中前述第3处理系使用考虑藉由电路方块之群组化之逻辑的变数之数、逻辑段数、以及合成负荷之评价函数。图式简单说明:第1图系例示本发明之逻辑电路之设计方法的流程图。第2图系例示藉由RTL记述之逻辑电路记述之说明图。第3(A)、(B)图系显示作为藉由逻辑电路记述而被特定之电路方块例之加法器以及选择器之说明图。第4(A)-(C)图系加法器之真値表、汉明距离、以及平均汉明距离指数之说明图。第5(A)-(C)图系选择器之真値表、汉明距离、以及平均汉明距离指数之说明图。第6图系例示规定平均汉明距离指数与演算法候补之相关之演算法候补选择用之成员函数之说明图。第7(A)、(B)图系显示结合度之例的说明图。第8图系例示判定可否统合用之成员函数之说明图。第9(A)、(B)图系例示应统合电路方块群组之逻辑式与对于逻辑规模之合成负荷之倾向之说明图。第10图系模型地显示遗传资讯之传达的样子之说明图。第11图系例示本发明之逻辑电路之设计支援系统之方块图。第12图系着眼于逻辑电路之设计支援系统之资料等的输入输出状态之说明图。第13图系例示作为逻辑合成最佳化之结果之藉由闸等级的逻辑记述之输出的说明图。
地址 日本