e/VerilogCSP

Information
has gloss	eng: In integrated circuit design, VerilogCSP is a set of macros added to Verilog HDL to support Communicating Sequential Processes (CSP) channel communications. These macros are intended to be used in designing digital asynchronous circuits. VerilogCSP also describes nonlinear pipelines and high-level channel timing properties, such as forward and backward latencies, minimum cycle time, and slack.
lexicalization	eng: VerilogCSP
instance of	(noun) a microelectronic computer circuit incorporated into a chip or semiconductor; a whole system rather than a single component integrated circuit, microcircuit