Jump to content

VerilogCSP

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Ourarash (talk | contribs) at 00:49, 8 March 2014. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In integrated circuit design, VerilogCSP [1] 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.

References

  1. ^ Saifhashemi, Arash. "High Level Modeling of Channel-Based Asynchronous Circuits Using Verilog". CPA 2005. {{cite journal}}: Unknown parameter |coauthors= ignored (|author= suggested) (help)