Dekompositorischer Schaltungsentwurf

Partner
Laufzeit:
Projektleiter:
DFG
1992-1997
Prof. Dr.-Ing. Bernd Steinbach

Ausgehend von den im Projektantrag und im Fortsetzungsantrag formulierten Aufgaben wurden im Berichtszeitraum umfangreiche Forschungen zum Logikentwurf mittels dekompositorischer Methoden durchgeführt. Theoretische Grundlagen wurden gezielt entwickelt bzw. systematisch vervollkommnet, die zur eine Menge dekompositorischer Synthesestrategien führten. Wichtiges Arbeitsmittel dafür war das in den ersten beiden Jahren des Vorhabens konzipierte und implementierte Experimentalsystem SAM (System zum Testen von Algorithmen und Methoden des Schaltungsentwurfs), das kontinuierlich ergänzt und weiterentwickelt wurde. Mit diesem System gewonnene Ergebnisse wurden mit den Resultaten der Entwurfsprogramme MISII und SIS1.2 anhand von Standard-Benchmarks aus dem LGSynth93- bzw. ISCAS-Suites verglichen.

 Einordnung des Forschungsgegenstandes

  • Mikroelektronik
  • Entwurf integrierter digitaler Schaltungen>
  • Logiksynthese
  • Testbarkeit digitaler Schaltungen

Literatur:

Bochmann, D.; Steinbach, B. : Logikentwurf mit XBOOLE , Verlag Technik, Berlin; 1991

Bochmann, D.; Dresig, F.; Steinbach, B.: A New Decomposition Method for Multilevel Circuit Design , Proceedings of the European Design Automation Conference , Amsterdam, 1991

Steinbach, B; Lang, C.; Dresig, F.; Zühlke, R.: Analytical Power Estimation for CMOS Circuits at Logical Level , Proceedings of the European Workshop on Power and Timing Modelling , Paris, 1992

Le, T. Q. : Testbarkeit kombinatorischer Schaltungen - Theorie und Entwurf , Dissertation, TU Karl-Marx-Stadt (Chemnitz), 1989

Steinbach, B.; Le, T. Q. : Entwurf testbarer Schaltungen , Wissenschaftliche Schriftenreihe der TU Chemnitz, 12/1990

Steinbach, B.; Schumann, F.; Stöckert, M.: Functional Decomposition of Speed Optimized Circuits in Auvergne, D.; Hartenstein, R.: Power and Timing Modeling for Performance of Integrated Circuits , S. 65-77, IT Press Verlag, Bruchsal, 1993

Steinbach, B.; Stöckert, M.: Design of Fully Testable Circuits by Functional Decomposition and Implicit Test Pattern Generation. Proceedings of "12th IEEE VLSI Test Symposium", Cherry Hill, New Jersey, 1994, pp. 22 - 27 (Paper: ps 402k)

Zwischenbericht an die Deutsche Forschungsgemeinschaft über das Forschungsthema Dekompositorischer Schaltungsentwurf , 1994

Steinbach, B., Wereszczynski, A.: Synthesis of Multi-Level Circuits Using EXOR-Gates. Proceedings of "IFIP WG 10.5 - Workshop on Applications of the Reed-Muller Expansion in Circuit Design", Chiba (Makuhari), Japan, 1995, pp.161 -168

Steinbach, B.; Zhang, Z.: Synthesis for Full Testability of Large Partitioned Combinational Circuits. in: Steinbach, B. (Hrsg.): Boolesche Probleme, Proceedings des 2. Workshops, 19. und 20. September 1996, TU Bergakademie Freiberg, S. 31 - 38 (Abstract)

Abschlussbericht an die Deutsche Forschungsgemeinschaft über das Forschungsthema Dekompositorischer Schaltungsentwurf , 1997