Grouping heuristics for word-level decision diagrams

被引:0
|
作者
Drechsler, Rolf [1 ]
Herbstritt, Marc [1 ]
Becker, Bernd [1 ]
机构
[1] Albert-Ludwigs-Univ, Freiburg im Breisgau, Germany
关键词
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
相关论文
共 50 条
  • [1] Grouping heuristics for word-level decision diagrams
    Drechsler, R
    Herbstritt, M
    Becker, B
    ISCAS '99: PROCEEDINGS OF THE 1999 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL 1: VLSI, 1999, : 411 - 414
  • [2] Minimization of Word-Level Decision Diagrams
    Drechsler, R
    Günther, W
    Höreth, S
    INTEGRATION-THE VLSI JOURNAL, 2002, 33 (1-2) : 39 - 70
  • [3] Dynamic minimization of word-level decision diagrams
    Horeth, S
    Drechsler, R
    DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS, 1998, : 612 - 617
  • [4] Word-level decision diagrams, WLCDs and division
    Scholl, C
    Becker, B
    Weis, TM
    1998 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS, 1998, : 672 - 677
  • [5] On the representational power of bit-level and word-level decision diagrams
    Becker, B
    Drechsler, R
    Enders, R
    PROCEEDINGS OF THE ASP-DAC '97 - ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE 1997, 1996, : 461 - 467
  • [6] Controlling the memory during manipulation of word-level decision diagrams
    Kinder, S
    Fey, G
    Drechsler, R
    35TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2005, : 250 - 255
  • [7] On WLCDs and the complexity of word-level decision diagrams - a lower bound for division
    Scholl, C
    Becker, B
    Weis, T
    FORMAL METHODS IN SYSTEM DESIGN, 2002, 20 (03) : 311 - 326
  • [8] On WLCDs and the Complexity of Word-Level Decision Diagrams—A Lower Bound for Division
    Christoph Scholl
    Bernd Becker
    Thomas Weis
    Formal Methods in System Design, 2002, 20 : 311 - 326
  • [9] Some remarks on linear transform of variables in representation of adders by word-level expressions and spectral transform decision diagrams
    Stankovic, RS
    Astola, JT
    ISMVL 2002: 32ND IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2002, : 116 - 122
  • [10] HDL constructs in linear word-level decision diagram based specification
    Wahid, K
    Lu, DC
    Rahman, C
    AUTOMATION AND REMOTE CONTROL, 2004, 65 (06) : 913 - 919