Die Bibliothek LOGIC enthält Modelle der wichtigen Logik Bausteine (z.B. 74- Serie). Im Gegensatz zu den Bibliotheken in Abschnitt A.4.6.5 werden jedoch idealisierte Modelle verwendet.
Ein idealisiertes Modell hat folgende Eigenschaften:
