SONET
decision diagrams
formal verification
hardware description languages