学位论文 > 优秀研究生学位论文题录展示

电路的多项式模型及其在元件匹配中的应用

作 者: 李光顺
导 师: 刘杰
学 校: 哈尔滨工程大学
专 业: 计算机软件与理论
关键词: 多项式模型 逼近误差 Gr6bner BasiS 元件匹配 并行算法
分类号: TN702
类 型: 硕士论文
年 份: 2004年
下 载: 60次
引 用: 0次
阅 读: 论文下载
 

内容摘要


超大规模集成电路的飞速发展,使人们越来越多的考虑利用已设计好的电路模块来加速系统设计,即设计重用问题。随着可重用模块数目的增长,搜索和分配可重用模块也变得越来越复杂。如何选择合适的元件来实现系统芯片设计是目前面临的重大难题之一。 本文中提出的改进的符号多项式模型方法能在一定程度上解决这一难题。它能把组合电路和时序电路的位级描述的设计规范表示成字级多项式。这种方法有助于多项式模型的化简。对时序电路,通过确立其等效的组合电路,理论上也可以解决,但过程非常复杂,本文仅就此做一些简单的探讨。 用本文改进的方法确立电路的多项式模型后,再利用Grbner Basis理论可以解决元件匹配问题。首先求出元件库的多项式表示生成的理想,然后求出该理想的Grbner Basis。由于已有的串行匹配算法在进行多项式的分解时,时间复杂度太高,于是本文在共享主存多指令流多数据流MIMD编程模型下,提出了一种并行算法。该并行算法从两个方面对原来的算法进行并行化。一方面是基于分组策略的粗粒度并行算法,另一方面是细粒度并行化简算法。随后对串并两种算法的复杂性进行了分析和比较。接下来还指出了算法需要进一步改进的地方。最后给出本文的结论。

全文目录


第1章 绪论  9-21
  1.1 EDA的发展及SOC的出现  9-10
  1.2 SOC设计的特点  10-12
  1.3 设计模型的发展现状  12-14
  1.4 SOC设计方法学的发展趋势  14-18
  1.5 课题的研究意义  18-20
  1.6 本文的主要内容及结构安排  20-21
第2章 组合电路的多项式模型  21-33
  2.1 概述  21-22
  2.2 位级多项式表示  22-30
    2.2.1 相关的几个基本定理  22-25
    2.2.2 求多项式表示的算法  25-26
    2.2.3 多项式表示的计算  26-30
  2.3 多元函数的扩展  30
  2.4 误差量化  30-31
  2.5 实验结果  31-32
  2.6 本章小结  32-33
第3章 时序电路的多项式模型  33-44
  3.1 概述  33
  3.2 时序非循环电路  33-35
  3.3 时序循环电路  35-37
  3.4 逼近  37-41
    3.4.1 逼近的计算  38-39
    3.4.2 计算逼近误差  39-41
  3.5 实验结果  41-43
  3.6 本章小结  43-44
第4章 多项式模型在元件匹配中的应用  44-59
  4.1 概述  44-46
  4.2 基本符号代数理论  46-50
    4.2.1 几个基本的概念  46-47
    4.2.2 除法运算  47-49
    4.2.3 Gr(?)bner Basis理论  49-50
  4.3 串行分解算法  50-51
  4.4 串行算法分析  51-52
  4.5 并行分解算法  52-57
    4.5.1 并行算法模型  52-54
    4.5.2 细粒度并行化简算法  54-56
    4.5.3 基于分组策略的粗粒度并行算法  56-57
  4.6 两种算法的解析与比较  57-58
  4.7 算法还需要进一步改进的地方  58
  4.8 本章小结  58-59
结论  59-61
参考文献  61-65
攻读硕士学位期间发表的论文及取得的科研成果  65-66
致谢  66

相似论文

  1. 频繁图结构并行挖掘算法的研究与实现,TP311.13
  2. 基于并行算法的模糊综合评价模型的设计与应用,TP18
  3. 基于视觉反馈与行为记忆的GPU并行蚁群算法,TP301.6
  4. GPU加速的仿射算术在几何设计中的应用研究,TP391.41
  5. 基于GPU的H.264到AVS视频转码并行设计,TN919.81
  6. H.264并行编码算法设计及其在GPU上的实现,TP391.41
  7. 基于ADSPTS201S的并行信号处理系统的设计与实现,TN957.51
  8. 基于小波变换的图像压缩并行算法研究,TP391.41
  9. 基于GPU的并行蚁群优化算法的研究与实现,TP301.6
  10. GPS接收机单向授时算法研究,P228.4
  11. 基于MapReduce的聚类算法的并行化研究,TP311.13
  12. 面向星载计算机的容错并行算法研究与实现,TP302.8
  13. 数字预失真短波功率放大器线性化研究,TN722.75
  14. 卫星导航定位系统高精度时间同步算法研究,P228.4
  15. 激光能量沉积光路追踪法及其并行化,TN241
  16. 基于LBM的两相流数值模拟及其并行算法的实现,O359
  17. 基于树形计算结构的电力系统潮流并行算法研究,TM744
  18. D-TIN并行构建方法及其在地图综合中的应用研究,P283
  19. Lagrange插值多项式逼近误差上界系数的改进,O174.14
  20. 图像匹配的并行算法研究,TP301.6
  21. 求解大规模支持向量机问题的并行算法研究,TP18

中图分类: > 工业技术 > 无线电电子学、电信技术 > 基本电子电路 > 一般性问题 > 设计、分析、计算
© 2012 www.xueweilunwen.com