Browsing by Subject "Computer architecture."

Now showing items 1-2 of 2

    • Refinementbased Verification of Elastic Pipelined System with Early Evaluation 

      Cai, Yangwei (North Dakota State University, 2010)
      This thesis presents a formal verification procedure to check correctness of the synchronous elastic pipelined system that incorporates early evaluation against its synchronous parent system. Note that the goal of the ...

    • Verification of Synchronous Elastic Pipelined Systems 

      Sarker, Koushik (North Dakota State University, 2010)
      The constant shrinking of technology has lead to several design challenges that the synchronous design paradigm is unable to cope with. Elastic design is a novel and promising design paradigm that overcomes many of these ...