首页    期刊浏览 2024年11月28日 星期四
登录注册

文章基本信息

  • 标题:Overview about low-level and high-level decision diagrams for diagnostic modeling of digital systems
  • 本地全文:下载
  • 作者:Ubar Raimund
  • 期刊名称:Facta universitatis - series: Electronics and Energetics
  • 印刷版ISSN:0353-3670
  • 电子版ISSN:2217-5997
  • 出版年度:2011
  • 卷号:24
  • 期号:3
  • 页码:303-324
  • DOI:10.2298/FUEE1103303U
  • 出版社:University of Niš
  • 摘要:

    BDDs have become the state-of-the-art data structure in VLSI CAD. In this paper, a special class of BDDs is presented called Structurally Synthesized BDDs (SSBDD). The idea of SSBDDs is to establish one-to-one mapping between the nodes of SSBDDs and signal paths in the related digital circuit. Such a mapping allowed to investigate and solve with SSBDDs a lot of test and diagnosis related problems of digital circuits, which are associated explicitly with the structure. Such problems are, for example, direct representation of faults, fault collapsing and fault masking, delay testing, hazard detection, etc. The main concept of using SSBDDs is laying on the topological view on the graphs, where each path on a SSBDD can be mapped directly to a subcircuit of the related circuit. Such a topological view allowed to generalize the knowledge and methods of test synthesis and fault analysis from the Boolean level to higher register-transfer and behavior levels of digital systems by introducing High-Level DDs (HLDD). The paper gives a short historical overview of the development of SSBDDs and HLDDs.

  • 关键词:Binary Decision Diagrams; logic level and high level BDDs; structurally synthesized BDDs
国家哲学社会科学文献中心版权所有