王先建
- 作品数:3 被引量:4H指数:1
- 供职机构:宁波大学更多>>
- 发文基金:国家教育部博士点基金国家自然科学基金更多>>
- 相关领域:电子电信自动化与计算机技术轻工技术与工程更多>>
- 基于伪布尔可满足性的纳米CMOS电路单元配置被引量:4
- 2012年
- 针对传统布尔可满足性(SAT)法在处理纳米CMOS电路(CMOL)单元配置时,存在合取范式(CNF)表示的约束子句个数过多、中间处理文件过大的问题,该文提出了利用伪布尔可满足性(PBS)来解决CMOL电路的单元配置问题。实验结果显示,相对于传统的SAT法,PBS法在不增加额外的布尔变量集个数的条件下,通过降低编码过程中的约束个数,能有效减少中间处理文件大小,达到提高算法效率和提高处理大电路的能力。
- 王先建王伦耀储著飞夏银水
- 关键词:布尔可满足性
- 基于伪布尔可满足性的CMOL单元配置研究
- 随着集成电路的不断发展,CMOS半导体制造工艺也在不断缩小。2012年Intel公司已经推出了22nm新工艺的处理器,并计划到2018年将制造工艺继续缩小至10nm。但是,当制造工艺缩小至10nm这个物理极限时,将面临微...
- 王先建
- 文献传递
- 基于伪布尔可满足性的流水线工位优化设计
- 2013年
- 鉴于保持流水线生产平衡的基本问题,因此在给定流水线工序、工时以及工位的情况下,通过建立相关数学模型,给出有关的约束条件和目标函数,提出了基于伪布尔可满足性的流水线优化工位设计算法,实现了流水线工位的优化安排,使流水线达到平衡生产.
- 郑昌顺孙建国王先建蔡丽君夏银水
- 关键词:流水线