Prof. Dr.-Ing. Bernd Steinbach, Z. Zhang

In der Arbeit [B. Steinbach / K. Hesse: Entwurf von großen digitalen Schaltungen unter Ausnutzung von funktionellen und strukturellen Eigenschaften] wurde eine Methode präsentiert, die es durch Partionierung erlaubt, extrem große kombinatorische Schaltungen effizient zu synthetisieren. Die bekannte Eigenschaft der dekompositorischen Synthese durch spezielle Gruppierungen vollständig testbarer Schaltungen zu erhalten, geht durch die Partitionierung zunächst verloren.

Für den Fall von zwei hintereinander angeordneten Schaltungsteilen schlagen wir eine neue Entwurfsmethode vor, die die Synthese größerer partitionierter, garantiert vollständig testbarer Schaltungen ermöglicht. Um die vollständige Testbarkeit der Gesamtschaltung zu erreichen, ändern wir die Verhaltensbeschreibungen der Teilschaltungen unter Verwendung von Informationen der jeweiligen anderen Teilschaltung. Wir haben bewiesen, daß durch diese Methode das Verhalten der Gesamtschaltung nicht verändert wird und die synthetisierte Gesamtschaltung ohne Zugriff auf die internen Leitungen 100% testbar ist.