SpyDrNet TMR
1.4
  • Install
  • Tutorial
  • Reference
  • Examples
    • Basic
      • Basic TMR
      • Uniquify NMR Property Example
      • Toggle TMR Example
      • Feedback Analysis Example
      • Registered Inverter TMR Example
      • Surface Pins Example
      • Voter Before/After Every Flip-Flop Algorithms
      • Toggle DWC Example
      • Xilinx TMR
      • Two-Bit Counter Bitstream TMR
      • YAML Configuration Mode for Triplication
      • SyntaxError
  • TMR Walkthrough
  • SpyDrNet-TMR and F4PGA
  • Developer’s Guide
  • License
SpyDrNet TMR
  • »
  • Examples
  • View page source

Examples

A collection of examples to introduce the functionality, features, and uses of SpyDrNet-TMR.

Basic

Basic TMR

Basic TMR

Uniquify NMR Property Example

Uniquify NMR Property Example

Toggle TMR Example

Toggle TMR Example

Feedback Analysis Example

Feedback Analysis Example

Registered Inverter TMR Example

Registered Inverter TMR Example

Surface Pins Example

Surface Pins Example

Voter Before/After Every Flip-Flop Algorithms

Voter Before/After Every Flip-Flop Algorithms

Toggle DWC Example

Toggle DWC Example

Xilinx TMR

Xilinx TMR

Two-Bit Counter Bitstream TMR

Two-Bit Counter Bitstream TMR

YAML Configuration Mode for Triplication

YAML Configuration Mode for Triplication

SyntaxError

SyntaxError

Download all examples in Python source code: auto_examples_python.zip

Download all examples in Jupyter notebooks: auto_examples_jupyter.zip

Gallery generated by Sphinx-Gallery

Previous Next

© Copyright 2020, BYU Configurable Computing Lab.

Built with Sphinx using a theme provided by Read the Docs.