Search results

Normalise fault injection graphs

enhancementNew feature or requestNew feature or request

lowprioLow priorityLow priority

Status: Open.

#50 In mlyoung101/tamara;

· mlyoung101 opened on May 19, 2025

Test equiv instead of SAT for verification.

enhancementNew feature or requestNew feature or request

highprioHigh priorityHigh priority

Status: Open.

#49 In mlyoung101/tamara;

· mlyoung101 opened on May 19, 2025

·  

1.0.0

Prove that the error signal is set high when a fault occurs

enhancementNew feature or requestNew feature or request

lowprioLow priorityLow priority

Status: Open.

#48 In mlyoung101/tamara;

· mlyoung101 opened on May 1, 2025

Get rid of <code>$buf</code> cell generation and wire correctly in voter_builder

enhancementNew feature or requestNew feature or request

lowprioLow priorityLow priority

Status: Open.

#46 In mlyoung101/tamara;

· mlyoung101 opened on Mar 26, 2025

Incorrect voter wiring and rip-up in <code>cones_min.ys</code>

bugSomething isn't workingSomething isn't working

highprioHigh priorityHigh priority

Status: Open.

#42 In mlyoung101/tamara;

· mlyoung101 opened on Mar 16, 2025

·  

1.0.0

Incorrectly detected regular wiring example

bugSomething isn't workingSomething isn't working

lowprioLow priorityLow priority

Status: Open.

#39 In mlyoung101/tamara;

· mlyoung101 opened on Mar 14, 2025

·  

1.0.0

regress.py should support tests that are expected to fail

enhancementNew feature or requestNew feature or request

lowprioLow priorityLow priority

Status: Open.

#35 In mlyoung101/tamara;

· mlyoung101 opened on Feb 24, 2025

Verify against BYU's spydrnet-tmr

enhancementNew feature or requestNew feature or request

lowprioLow priorityLow priority

Status: Open.

#33 In mlyoung101/tamara;

· mlyoung101 opened on Feb 23, 2025

MultiDriverFixer breaks on picorv32

bugSomething isn't workingSomething isn't working

highprioHigh priorityHigh priority

Status: Open.

#31 In mlyoung101/tamara;

· mlyoung101 opened on Feb 20, 2025

·  

1.0.0

Multiple voters in the same cone cause multiple drivers on output

bugSomething isn't workingSomething isn't working

highprioHigh priorityHigh priority

Status: Open.

#30 In mlyoung101/tamara;

· mlyoung101 opened on Feb 16, 2025

·  

1.0.0

Handle memories

bugSomething isn't workingSomething isn't working

enhancementNew feature or requestNew feature or request

lowprioLow priorityLow priority

Status: Open.

#25 In mlyoung101/tamara;

· mlyoung101 opened on Feb 11, 2025

·  

1.0.0

Optimise <code>rtlilInverseLookup</code>

enhancementNew feature or requestNew feature or request

lowprioLow priorityLow priority

Status: Open.

#19 In mlyoung101/tamara;

· mlyoung101 opened on Jan 9, 2025