Konstruktive Analyse zyklischer Schaltungen

Traditionell finden sich Schaltungen mit kombinatorischen Schleifen nur in asynchronen Designs. Kombinatorische Schleifen können jedoch auch für das Design synchroner Schaltungen nützlich sein. Kombinatorische Schleifen können aus der Verhaltenskompilation hoher Programmiersprachen entstehen und können verwendet werden, um die Schaltungsgröße zu reduzieren. Wir bieten einen symbolischen Algorithmus an, der feststellt, ob eine sequenzielle Schaltung mit kombinatorischen Schleifen ein standardmäßiges synchrones Verhalten zeigt, und falls ja, produziert er eine äquivalente Schaltung ohne kombinatorische Schleifen. Wir präsentieren Anwendungen zur Hardware- und Software-Synthese aus der Esterel-programmierprache für synchrones Design.