In
integrated circuit design
Integrated circuit design, semiconductor design, chip design or IC design, is a sub-field of electronics engineering, encompassing the particular Boolean logic, logic and circuit design techniques required to design integrated circuits (ICs). A ...
, VerilogCSP
is a set of
macros added to
Verilog HDL to support
Communicating Sequential Processes
In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or p ...
(CSP) channel communications. These macros are intended to be used in designing
digital asynchronous circuits.
VerilogCSP also describes nonlinear
pipelines
A pipeline is a system of pipes for long-distance transportation of a liquid or gas, typically to a market area for consumption. The latest data from 2014 gives a total of slightly less than of pipeline in 120 countries around the world. The Un ...
and high-level channel timing properties, such as forward and backward
latencies, minimum cycle time, and slack.
External links
VerilogCSP Homepage
References
{{Reflist
Hardware description languages