S*M

A nonprocedural hardware description language.

"S*M, An Axiomatic, Non-procedural Hardware Description Language for Clocked Architectures", P. A. Wilsey, MS Thesis, University of Southwestern Louisiana, 1985.