期刊文献+

辐射路匹配:从门级到功能模块级的子电路提取算法 被引量:9

Radiate Path Matching:A Subcircuit Extraction Algorithm From Gate Level to Function Level
下载PDF
导出
摘要 提出一种基于子图同构的高性能辐射路匹配算法,以满足反向分析中逻辑综合的需要.通过单个顶点的相似度特征,将子图同构问题转化为顶点之间的匹配问题.在算法运行过程中,通过不断地删除搜索空间中的非匹配顶点,大大地降低了算法的时空复杂度.理论分析和实验结果表明,该算法的时空复杂度与目标电路的逻辑门数和功能模块电路的逻辑门数均为线性关系. A high performance radiate path matching algorithm is proposed for logic synthesis of integrated circuit reverse analysis. The algorithm transforms the subgraph isomorphism problem into a matching problem between vertexes through the introduction of similarity features for every vertex. The dismatched vertexes are deleted gradually from the searching space, therefore the complexity of the algorithm is reduced significantly. Theoretical analysis and experimental results show that both the time and space complexity of our algorithm are only linearly dependent on the number of gates of the object circuit and the function module.
出处 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第9期1377-1382,共6页 Journal of Computer-Aided Design & Computer Graphics
关键词 辐射路 集成电路反向分析 逻辑综合 子图同构 子电路提取 radiate path integrated circuit reverse analysis logic synthesis subgraph isomorphism subcircuit extraction
  • 相关文献

参考文献12

  • 1Boehner M. LOGEX-an automatic logic extractor from transistor to gate level for CMOS technology [C] //Proceedings of IEEE/ACM Design Automation Conference, Anaheim,1988:517-522
  • 2Kundu S. GateMaker: a transistor to gate level model extractor for simulation, automatic test patter generation and verification[C] //Proceedings of International Test Conference, Washington D C, 1998; 372-381
  • 3Ebeling C, Zaiicek O. Validating VLSI circuit layout by wirelist comparison [C] //Proceedings of the Conference on Computer Aided Design (ICCAD), Santa Clara, 1983:172-173
  • 4Ohlrich M, Ebeling C, Ginting E. SubGemini: identifying subcircuits using a fast subgraph isomorphism algorithm [C]//Proceedings of IEEE/ACM Design Automation Conference,Dallas, 1993:31-37
  • 5扈文峰.集成电路反向工程逻辑综合算法研究[R].北京:中国科学院自动化研究所,1999.
  • 6Ullmann J R. An algorithm for subgraph isomorphism [J].Journal of the Association for Computer Machinery, 1976, 23(1): 31-42
  • 7Falkenhainer B, Forbus K D, Genmer D. The structure-mapping engine: algorithms and examples[J].Artificial Intelligence, 1989, 41 ( 1 ) : 1-63
  • 8Messmer B T, Bunke H. A decision tree approach to graph and subgraph isomorphism detection [J]. Pattern Recognition,1999, 32(12): 1979-1998
  • 9Messmer B T, Bunke H. Subgraph isomorphism in polynomial time [OL]. http://citeseer.nj. nec. com/messmer95subgraph.html
  • 10Hopcroft F, Wong J. Linear time algorithm for isomorphism of planar graphs [C] //Proceedings of the 6th Annual ACM Symposium on Theory of Computing, Seattle, 1974:172-184

共引文献1

同被引文献103

引证文献9

二级引证文献8

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部