A language for simulation of VLSI at the switch level. The primitives are nodes and transistors.

[C.M. Baker et al, "Tools for Verifying Integrated CIrcuit Design", Lambda 1(3):22-30 (1980)].