Implementation of mutual exclusion in VHDL

M.V. Boersma, L.P.M. Benders, M.P.J. Stevens

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    52 Downloads (Pure)

    Abstract

    In VHDL it is difficult to implement mutual exclusion at an abstract level since atomic actions are required. A local status model and an arbiter model are presented to achieve mutual exclusion in VHDL. Shared data, protected by a mutual exclusion mechanism, cannot be modelled as a simple, resolved VHDL signal since no resolution function is able to return the correct value. By changing the signal type to a special record type this problem can be solved, using the arbiter model. The specification language Task Level VHDL (TLVHDL) has been developed to specify communication and synchronization mechanisms at an abstract level. In TLVHDL the abovementioned problems are not encountered. A back end compiler converts the abstract TLVHDL description into a VHDL specification, according to a chosen mutual exclusion model. All modifications are handled by the computer and are of no concern to the designer.
    Original languageEnglish
    Title of host publicationProc. International Conference on Simulation and Hardware Description Languages, 1994 Western Multiconference
    EditorsP.A. Wilsey, D. Rhodes
    PublisherSimulation Councils, Inc.
    Pages57-62
    ISBN (Print)1-56555-070-6
    Publication statusPublished - 1994
    Eventconference; Proc. International Conference on Simulation and Hardware Description Languages, 1994 Western Multiconference, Tempe, AZ, 24-26 January 1994 -
    Duration: 1 Jan 1994 → …

    Conference

    Conferenceconference; Proc. International Conference on Simulation and Hardware Description Languages, 1994 Western Multiconference, Tempe, AZ, 24-26 January 1994
    Period1/01/94 → …
    OtherProc. International Conference on Simulation and Hardware Description Languages, 1994 Western Multiconference, Tempe, AZ, 24-26 January 1994

    Fingerprint Dive into the research topics of 'Implementation of mutual exclusion in VHDL'. Together they form a unique fingerprint.

    Cite this