Shared more. Cited more. Safe forever.
    • advanced search
    • submit works
    • about
    • help
    • contact us
    • login
    View Item 
    •   MOspace Home
    • University of Missouri-Columbia
    • Graduate School - MU Theses and Dissertations (MU)
    • Theses and Dissertations (MU)
    • Dissertations (MU)
    • 2015 Dissertations (MU)
    • 2015 MU dissertations - Access restricted to UM
    • View Item
    •   MOspace Home
    • University of Missouri-Columbia
    • Graduate School - MU Theses and Dissertations (MU)
    • Theses and Dissertations (MU)
    • Dissertations (MU)
    • 2015 Dissertations (MU)
    • 2015 MU dissertations - Access restricted to UM
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.
    advanced searchsubmit worksabouthelpcontact us

    Browse

    All of MOspaceCommunities & CollectionsDate IssuedAuthor/ContributorTitleSubjectIdentifierThesis DepartmentThesis AdvisorThesis SemesterThis CollectionDate IssuedAuthor/ContributorTitleSubjectIdentifierThesis DepartmentThesis AdvisorThesis Semester

    Statistics

    Most Popular ItemsStatistics by CountryMost Popular AuthorsStatistics by Referrer

    Device-level composition in ReWire

    Graves, Ian
    View/Open
    [PDF] research.pdf (1.971Mb)
    [PDF] public.pdf (2.322Kb)
    [PDF] short.pdf (5.493Kb)
    Date
    2015
    Format
    Thesis
    Metadata
    [+] Show full item record
    Abstract
    [ACCESS RESTRICTED TO THE UNIVERSITY OF MISSOURI AT REQUEST OF AUTHOR.] ReWire provides engineers with a tool to specify, verify and implement hardware devices for FPGAs from a high-level Haskell-like language. Previous work has shown ReWire to be a productive source language for developing whole systems in the form of single, monolithic monadic specifications. To achieve scale, modularity and reusability, some form of modularity principle must be identified and realized within ReWire. What are the basic units of a ReWire specification and how may such units be identified, abstracted over and reused to achieve a realistic work flow for device construction in ReWire? This research identifies a modularity principle for ReWire as a suite of language abstractions for breaking apart ReWire specifications into its constituent components called Connect Logic and considers its implementation and application. Extending ReWire with support for device-level composition would significantly enhance its usefulness. This work integrates a suite of functions into ReWire which provide engineers the ability to incorporate existing specifications into new designs and the ability perform traditional decomposition of large specifications. Connect Logic provides an intuitive way to consider synchronous versus combinational logic in hardware designs. We demonstrate applications of Connect Logic to improve the performance of systems including cryptographic ciphers. We utilize Connect Logic to develop a fully pipelined microprocessor, to implement commonly used high-level concurrency primitives in hardware, and we demonstrate Connect Logic as a substrate for visual programming.
    URI
    https://hdl.handle.net/10355/49535
    Degree
    Ph. D.
    Thesis Department
    Computer science (MU)
    Rights
    Access is limited to the campuses of the University of Missouri.
    Collections
    • 2015 MU dissertations - Access restricted to UM
    • Computer Science electronic theses and dissertations (MU)

    Send Feedback
    hosted by University of Missouri Library Systems
     

     


    Send Feedback
    hosted by University of Missouri Library Systems