LDT

Logic Design Translator

A language for computer system design analysis.