LGEN
Bell Labs
A logic language for VLSI implementation.
"Code Generation for Silicon", S. C. Johnson, Conference Record of the 14th Annual ACM Symposium on Principles of Programming Languages, 1983.