Sticks&Stones
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 <butrfeld@cs.tcd.ie>, Thesis, Trinity College, 1990].
Nearby terms:
Steve Wozniak « STFT « STFW « Sticks&Stones »
sticky analysis » sticky bit » sticky content
|