-
Notifications
You must be signed in to change notification settings - Fork 1
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Normalise fault injection graphs
enhancementNew feature or requestNew feature or requestlowprioLow priorityLow priorityStatus: Open.#50 In mlyoung101/tamara;Test equiv instead of SAT for verification.
enhancementNew feature or requestNew feature or requesthighprioHigh priorityHigh priorityStatus: Open.Prove that the error signal is set high when a fault occurs
enhancementNew feature or requestNew feature or requestlowprioLow priorityLow priorityStatus: Open.#48 In mlyoung101/tamara;Get rid of
$bufcell generation and wire correctly in voter_builderenhancementNew feature or requestNew feature or requestlowprioLow priorityLow priorityStatus: Open.#46 In mlyoung101/tamara;Incorrect voter wiring and rip-up in
cones_min.ysbugSomething isn't workingSomething isn't workinghighprioHigh priorityHigh priorityStatus: Open.Incorrectly detected regular wiring example
bugSomething isn't workingSomething isn't workinglowprioLow priorityLow priorityStatus: Open.regress.py should support tests that are expected to fail
enhancementNew feature or requestNew feature or requestlowprioLow priorityLow priorityStatus: Open.#35 In mlyoung101/tamara;Verify against BYU's spydrnet-tmr
enhancementNew feature or requestNew feature or requestlowprioLow priorityLow priorityStatus: Open.#33 In mlyoung101/tamara;MultiDriverFixer breaks on picorv32
bugSomething isn't workingSomething isn't workinghighprioHigh priorityHigh priorityStatus: Open.Multiple voters in the same cone cause multiple drivers on output
bugSomething isn't workingSomething isn't workinghighprioHigh priorityHigh priorityStatus: Open.Handle memories
bugSomething isn't workingSomething isn't workingenhancementNew feature or requestNew feature or requestlowprioLow priorityLow priorityStatus: Open.Optimise
rtlilInverseLookupenhancementNew feature or requestNew feature or requestlowprioLow priorityLow priorityStatus: Open.#19 In mlyoung101/tamara;