/usu_stochastic_case_studies

Case-study models of stochastic systems, mainly using the PRISM language. Models focus on low-level computing applications and logic circuits.

Primary LanguageMATLAB

Case Studies in Modeling Stochastic Logic

Written by members of the LE/FT Lab at Utah State University, with contributions from collaborators at the University of Utah, University of South Florida, Sandia National Laboratories, and others. 

Description

This repository contains case-study models of stochastic systems, mainly using the PRISM language. Models focus on low-level computing applications and logic circuits.

Contents

  • ./stochastic_computing/ -- Models of synchronous stochastic computing circuits based on the method of Gaines et al, 1969 (pdf). Specific models are placed in subdirectories:

    • AND/ -- A multiplier in the unary stochastic format, using an AND gate
    • DIV/ -- A divider in the unary format with memory
    • DIV2/ -- Divide-by-two circuit with memory
    • MULT_ratioed/ -- Multiplier in the likelihood ratio format
    • TFF_adder/ -- Adder for unary and bipolar formats based on toggle flip flop
    • TFM/ -- Tracking Forecast Memory used for stream regeneration

  • ./async_stochastic_computing/ -- Models of asynchronous (clockless) stochastic computing circuits based on asynchronous logic methods.

  • ./causal_systems/ -- Simple models of cause/effect processes that are pertinent to computing.

    • dominos/ -- A chain of dominos that fall in sequence. One domino may randomly fail, disrupting the chain.

  • ./fault_tolerant_logic/ -- Models of low-level hardware techniques for mitigating faulty behavior in digital circuits.

    • rfb/ -- The Restorative FeedBack method, a type of Triple-Modular Redundancy (TMR).

  • ./forward_error_correction/ -- Error correction algorithms used for data communication, memories and data storage media.

    • trapping_sets/ -- small sub-graphs affecting the error floor of Low-Density Parity-Check codes.

  • ./stochastic_computing/ -- To note, the dot png is in the order (Done),(Ack),(Rdy),(Valid)