Ouaiss, Iyad; Govindarajan, Sriram; Srinivasan, Vinoo; Kaul, Meenakshi; Vemuri, Ranga
(2017-06-22)
This paper proposes a Unified Specification Model (USM) of concurrency and coordination compatible with VHDL. The specification model embodies a uniform treatment of computation, communication channels, and memories, ...