Esim

A simulation language for VLSI, at the switch level. Primitives in the language are nodes and transistors.

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