Skip to content

kammirzazad/KPN-Refinement

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5 Commits
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

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

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages