Analyse von zyklischen kombinatorischen Schaltungen

Eine logische Schaltung wird als kombinatorisch bezeichnet, wenn die Funktion, die sie berechnet, nur von den auf die Schaltung angelegten Eingaben abhängt, und als sequentiell, wenn sie zusätzlich von einer gewissen Vergangenheit abhängt. Schaltungen, deren zugrunde liegende Topologie azyklisch ist, sind kombinatorisch, da Rückkopplung eine notwendige Bedingung ist, damit sie sequentiell sein können. Es ist jedoch keine hinreichende Bedingung, da es kombinatorische logische Schaltungen gibt, die zyklisch sind. Diese kommen oft in Busstrukturen in Datennetzen vor. Traditionelle formale Techniken in der Logiksynthetisierung, Logikanalyse und zeitlichen Analyse von kombinatorischen Schaltungen haben sich auf azyklische kombinatorische Schaltungen beschränkt, da sie nicht in der Lage waren, die Analyse von Schaltungen mit Zyklen durchzuführen. Daher werden diese Schaltungen in der Praxis mit umständlichen Workarounds behandelt, was offensichtlich unerwünscht ist. Dieses Papier stellt eine formale Analyse dieser Schaltungen vor und präsentiert Techniken für die logische und zeitliche Analyse solcher Schaltungen. Diese Techniken sind praktisch durchführbar bei angemessen großen Schaltungen, die in der Praxis vorkommen.