KPN-Refinement

A Kahn process base class along with an operating system API and a pin-accurate bus model for refinement of KPN [1] models in SystemC [2].

Content

• HWBus.h: A pin-accurate bus model.
• os_api.h: Interface for operating system models
• kahn_process.h: Base class for implementing refined Kahn processes

References

[1] Gilles, K. A. H. N. "The semantics of a simple language for parallel programming." Information processing 74 (1974): 471-475.
[2] IEEE Standard SystemC Reference Manual (IEEE 16666-2011), https://standards.ieee.org/standard/1666-2011.html

Contact

If you have a question or suggestion about this repository or a problem running examples, you can contact Kamyar at kammirzazad@utexas.edu.