Timed Boolean Functions, Fachbücher von Robert K. Brayton, William K.C. Lam

"Timed Boolean Functions" ist ein Fachbuch, das sich mit der zeitlichen Analyse und dem Design von hochleistungsfähigen VLSI-Systemen beschäftigt. In den letzten Jahren hat sich die Forschung im Bereich Timing kontinuierlich weiterentwickelt, während die dazugehörigen Werkzeuge, insbesondere theoretische Mechanismen, hinterherhinken. Das Buch bietet eine umfassende Methodologie, die eine Analyse und das Design von Schaltungen und Systemen in einem einheitlichen zeitlichen und logischen Kontext ermöglicht. Es führt ein algebraisches Repräsentationsformalismus, die Timed Boolean Functions (TBF's), ein, das sowohl logische als auch zeitliche Informationen digitaler Schaltungen integriert. Darüber hinaus werden in diesem Werk drei spezifische Probleme der Timing-Forschung behandelt, für die erstmals exakte Lösungen präsentiert werden. Die Autoren, William K.C. Lam und Robert K. Brayton, kombinieren theoretische Grundlagen mit praktischen Anwendungen, um die Herausforderungen in der zeitlichen Analyse von Schaltungen zu adressieren.