A logic language for VLSI implementation by S.C. Johnson of Bell Labs.

[S.C. Johnson, "Code Generation for Silicon", Proc 10th POPL, 1983].