Terse

A language for the description of hardware logic.

"Hardware Logic Simulation by Compilation", C. Hansen, 2Fifth ACM/IEEE Design Automation Conf, 1988.