a logic simulator and hardware description language
a logic simulator and hardware description language.