SpyDrNet TMR
1.0
  • Install
  • Tutorial
  • Reference
  • Examples
    • Basic
      • Basic TMR
      • Uniquify NMR Property Example
      • Toggle TMR Example
      • Registered Inverter TMR Example
      • Surface Pins Example
      • Toggle DWC Example
      • Xilinx TMR
      • Design Rule Check Example
      • Voter Before/After Every Flip-Flop Algorithms
      • Two-Bit Counter Bitstream TMR
  • 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¶

Registered Inverter TMR Example

Registered Inverter TMR Example¶

Surface Pins Example

Surface Pins Example¶

Toggle DWC Example

Toggle DWC Example¶

Xilinx TMR

Xilinx TMR¶

Design Rule Check Example

Design Rule Check Example¶

Voter Before/After Every Flip-Flop Algorithms

Voter Before/After Every Flip-Flop Algorithms¶

Two-Bit Counter Bitstream TMR

Two-Bit Counter Bitstream TMR¶

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

Next Previous

© Copyright 2020, BYU Configurable Computing Lab.

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