Is it ensure, insure, or assure?
language, functional programming
A functional, polymorphic hardware description language loosely based on ML by Lucca Cardelli.
["An Algebraic Approach to Hardware Description and Verification", L. Cardelli, Thesis, Edinburgh U, 1982].
["Sticks&Stones II: A Functional Language VLSI Layout Generation Tool", Andrew Butterfield