S*M(ID:1180/sm:001)

Axiomatic, Non-procedural Hardware Description Language  


A nonprocedural hardware description language. "S*M, An Axiomatic, Non-procedural Hardware Description Language for CLocked Architectures", P.A. Wilsey, MS Thesis, U Southwestern Louisiana, 1985.


Structures: