The priority queue as an example of hardware/software codesign

This publication has 7 references indexed in Scilit:

• A hardware wrapper for the SHA-3 hash algorithms
  Published by Institution of Engineering and Technology (IET) ,2010
• System-level synthesis using re-programmable components
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Using VHDL for HW/SW co-specification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A Formal Approach to Hardware Design
  Published by Springer Nature ,1994
• Larch: Languages and Tools for Formal Specification
  Published by Springer Nature ,1993
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Improved event-scanning mechanisms for discrete event simulation
  Communications of the ACM, 1975