/KPN-Refinement

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

Primary LanguageC++

KPN-Refinement

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

Content

  • HWBus.h: Pin-accurate and transaction-level bus models in SystemC.
  • kpn_queue.h: Queue model for SystemC
  • os_api.h: Interface for operating system models in SystemC
  • kpn-arch/
    • - kpn-arch.cpp: A sample KPN architecture

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 Susy at esalcort@utexas.edu.