Code

AXI-Stream Formal Properties#3

Code

Open

rlee287 wants to merge 38 commits intomainrlee287/hardware-bus-infrastructure:mainfrom axi_streamrlee287/hardware-bus-infrastructure:axi_streamCopy head branch name to clipboard

+448-5

Commits

Commits on Dec 5, 2020

• First pass at AXI Stream formal properties

  Show description for c70a583
  rlee287

  committed
  c70a583

  Copy full SHA for c70a583

Commits on Dec 6, 2020

• Fix README typo

  Show description for ce90a76
  rlee287

  committed
  ce90a76

  Copy full SHA for ce90a76

• Add the property that TVALID cannot be deasserted until transfer

  rlee287

  committed
  b60c3c5

  Copy full SHA for b60c3c5

Commits on Dec 9, 2020

• Add note about lack of requirement for no combinational paths to AXIS

  Show description for 0871812
  rlee287

  committed
  0871812

  Copy full SHA for 0871812

• Remove .keep from property_sets now that the directory is populated

  rlee287

  committed
  985e786

  Copy full SHA for 985e786

• Fix some reset related issues with AXIS properties

  rlee287

  committed
  40c1b6c

  Copy full SHA for 40c1b6c

Commits on Dec 10, 2020

• Fix missing negation of reset in an AXIS slave property

  rlee287

  committed
  06330b2

  Copy full SHA for 06330b2

• Add more checks for past_valid where they are needed

  rlee287

  committed
  34408c1

  Copy full SHA for 34408c1

Commits on Dec 11, 2020

• Use nonblocking assignment for past_valid value

  rlee287

  committed
  f8921ca

  Copy full SHA for f8921ca

Commits on Dec 16, 2020

• Fix reset things and use preprocessor to encourage code reuse

  Show description for 43984c5
  rlee287

  committed
  43984c5

  Copy full SHA for 43984c5

Commits on Dec 19, 2020

• Check for positive width parameter before assuming/asserting stall stability

  Show description for cc16378
  rlee287

  committed
  cc16378

  Copy full SHA for cc16378

Commits on Dec 22, 2020

• Adjust reset handling in AXI-Stream properties

  Show description for 7692bac
  rlee287

  committed
  7692bac

  Copy full SHA for 7692bac

• Create a utility for assuming async resets are synchronously released

  rlee287

  committed
  6b40ac0

  Copy full SHA for 6b40ac0

Commits on Dec 26, 2020

• Allow non-data bytes to vary when stream is stalled

  rlee287

  committed
  8579c5c

  Copy full SHA for 8579c5c

Commits on Dec 27, 2020

• Add script to compare AXI-Stream properties and ensure they match correctly

  rlee287

  committed
  8b36055

  Copy full SHA for 8b36055

• Add README state for "complete but untested" and update statues

  rlee287

  authored
  0c478fa

  Copy full SHA for 0c478fa

• Fix README.md typo

  rlee287

  authored
  ece2d1a

  Copy full SHA for ece2d1a

• Label the AXI-Stream properties with the version and issue of the spec

  Show description for e19f039
  rlee287

  committed
  e19f039

  Copy full SHA for e19f039

• Bypass default input tready value when linting with Verilator

  rlee287

  committed
  bdd5b19

  Copy full SHA for bdd5b19

• Revert "Allow non-data bytes to vary when stream is stalled"

  Show description for 674c736
  rlee287

  committed
  674c736

  Copy full SHA for 674c736

• Move up definition of TX_ASSERT (so that diff reference can be updated less frequently)

  rlee287

  committed
  5657264

  Copy full SHA for 5657264

• Move up Section 3.1.5 note and add keep_width for when byte_width=0

  rlee287

  committed
  b1256c8

  Copy full SHA for b1256c8

• Account for the possibility of byte_width=0 in stall $stable checks

  rlee287

  committed
  22ba3fc

  Copy full SHA for 22ba3fc

Commits on Dec 29, 2020

• Print out the diff output if the check_differences script fails

  rlee287

  committed
  870ac0b

  Copy full SHA for 870ac0b

• Remove extraneous colon from Optional TREADY comment

  rlee287

  committed
  0cebe36

  Copy full SHA for 0cebe36

• Add a property to ensure TVALID is raised "in a timely manner"

  Show description for a4753bf
  rlee287

  committed
  a4753bf

  Copy full SHA for a4753bf

Commits on Jan 1, 2021

• Reset handling should be fixed now...

  rlee287

  committed
  149bcac

  Copy full SHA for 149bcac

• Update diff file for AXI-Stream

  rlee287

  committed
  55f635a

  Copy full SHA for 55f635a

Commits on Jan 2, 2021

• Using not_in_reset requires past_valid

  Show description for dc45ddf
  rlee287

  committed
  dc45ddf

  Copy full SHA for dc45ddf

• Assert that valid is raised with backpressure only when no reset happens

  rlee287

  committed
  447b415

  Copy full SHA for 447b415

• Update TODO notes in AXI-Stream properties

  rlee287

  committed
  9f3b8f4

  Copy full SHA for 9f3b8f4

• Update comparison diff for two property sets

  rlee287

  committed
  0eb4261

  Copy full SHA for 0eb4261

Commits on Jan 3, 2021

• Merge branch 'main' into axi_stream

  rlee287

  committed
  aafee53

  Copy full SHA for aafee53

• Rename clk and resetn to aclk and aresetn

  Show description for e759e47
  rlee287

  committed
  e759e47

  Copy full SHA for e759e47

Commits on Jan 4, 2021

• Add TODO note about assuming master readiness in slave properties

  rlee287

  committed
  9ea22fa

  Copy full SHA for 9ea22fa

Commits on Jan 7, 2021

• Allow valid-before-ready check to be disabled by parameters

  Show description for 1bae26b
  rlee287

  committed
  1bae26b

  Copy full SHA for 1bae26b

Commits on Jan 15, 2021

• Add a .gitignore for SymbiYosys and note naming convention in CONTRIBUTING

  Show description for d5cd1e6
  rlee287

  committed
  d5cd1e6

  Copy full SHA for d5cd1e6

Commits on Feb 12, 2021

• Update CONTRIBUTING.md

  Show description for bf50f86
  rlee287

  committed
  bf50f86

  Copy full SHA for bf50f86