电子与信息学报
電子與信息學報
전자여신식학보
JOURNAL OF ELECTRONICS & INFORMATION TECHNOLOGY
2012年
10期
2508-2513
,共6页
王先建%王伦耀%储著飞%夏银水
王先建%王倫耀%儲著飛%夏銀水
왕선건%왕륜요%저저비%하은수
纳米CMOS电路%单元配置%布尔可满足性%伪布尔可满足性
納米CMOS電路%單元配置%佈爾可滿足性%偽佈爾可滿足性
납미CMOS전로%단원배치%포이가만족성%위포이가만족성
针对传统布尔可满足性(SAT)法在处理纳米CMOS电路(CMOL)单元配置时,存在合取范式(CNF)表示的约束子句个数过多、中间处理文件过大的问题,该文提出了利用伪布尔可满足性(PBS)来解决CMOL电路的单元配置问题.实验结果显示,相对于传统的SAT法,PBS法在不增加额外的布尔变量集个数的条件下,通过降低编码过程中的约束个数,能有效减少中间处理文件大小,达到提高算法效率和提高处理大电路的能力.
針對傳統佈爾可滿足性(SAT)法在處理納米CMOS電路(CMOL)單元配置時,存在閤取範式(CNF)錶示的約束子句箇數過多、中間處理文件過大的問題,該文提齣瞭利用偽佈爾可滿足性(PBS)來解決CMOL電路的單元配置問題.實驗結果顯示,相對于傳統的SAT法,PBS法在不增加額外的佈爾變量集箇數的條件下,通過降低編碼過程中的約束箇數,能有效減少中間處理文件大小,達到提高算法效率和提高處理大電路的能力.
침대전통포이가만족성(SAT)법재처리납미CMOS전로(CMOL)단원배치시,존재합취범식(CNF)표시적약속자구개수과다、중간처리문건과대적문제,해문제출료이용위포이가만족성(PBS)래해결CMOL전로적단원배치문제.실험결과현시,상대우전통적SAT법,PBS법재불증가액외적포이변량집개수적조건하,통과강저편마과정중적약속개수,능유효감소중간처리문건대소,체도제고산법효솔화제고처리대전로적능력.
