Search results

Code Review Backlog Tracker

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#12 In rlee287/hardware-bus-infrastructure;

· rlee287 opened on Feb 12, 2021

Add brief explanation of how to use properties and verify cores with SymbiYosys

Example Cores

Formal Property Set

Status: Open.

#11 In rlee287/hardware-bus-infrastructure;

· rlee287 opened on Feb 12, 2021

Set up CI infrastructure for testing property sets with example cores

Example Cores

Formal Property Set

Status: Open.

#10 In rlee287/hardware-bus-infrastructure;

· rlee287 opened on Jan 4, 2021

Add appropriate output signals to AXI-Stream formal properties

AXI-Stream

Formal Property Set

Status: Open.

#9 In rlee287/hardware-bus-infrastructure;

· rlee287 opened on Jan 3, 2021

Add multiclock support to AXI-Stream properties

AXI-Stream

Formal Property Set

Status: Open.

#8 In rlee287/hardware-bus-infrastructure;

· rlee287 opened on Jan 3, 2021

Create AXI-Stream processing core properties

AXI-Stream

Formal Property Set

Status: Open.

#6 In rlee287/hardware-bus-infrastructure;

· rlee287 opened on Dec 27, 2020

Write example AXI-Stream cores

AXI-Stream

Example Cores

Status: Open.

#5 In rlee287/hardware-bus-infrastructure;

· rlee287 opened on Dec 27, 2020

Add support for asynchronous resets to AXI-Stream properties

AXI-Stream

Formal Property Set

Status: Open.

#4 In rlee287/hardware-bus-infrastructure;

· rlee287 opened on Dec 14, 2020

Write AXI-Stream Bus Summary

AXI-Stream

Bus Summaries

Status: Open.

#2 In rlee287/hardware-bus-infrastructure;

· rlee287 opened on Dec 5, 2020

Create AXI-Stream Formal Property Set

AXI-Stream

Formal Property Set

Status: Open.

#1 In rlee287/hardware-bus-infrastructure;

· rlee287 opened on Dec 5, 2020