<> <> <> <> DIRECTORY Globals, IO; Check: CEDAR DEFINITIONS = BEGIN OPEN Globals; CheckCmd: CmdProc; <> <<>> <<1. Nodes not attached to any transistors.>> <<2. Nodes that can't be driven.>> <<3. Nodes that don't drive anything.>> <<4. Transistors that can't pass information.>> <<5. Bidirectional transistors with no flow attributes.>> <<6. Transistors between Vdd and Ground.>> <> <> <<>> <> <> <<>> <> <> <<>> END.