chpsim is a simulator for the CHP (Communicating Hardware Processes) language, which is based on Hoare's CSP (Communicating Sequential Processes) C. A. R. Hoare. Communicating sequential processes. Communications of the ACM. 21(8):666–667, 1978.. To distinguish this implementation from its predecessor, we name this simulator hacchpsim. However throughout this document, we use chpsim for brevity.