I looked at the entry you link to above and personally i kinda like this item to sum up merlyn's posts
terse
Language for decryption of hardware logic.
["Hardware Logic Simulation by Compilation", C. Hansen, 25th ACM/IEEE
+Design Automation Conf, 1988].
</silliness>