Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 9, 2024

• Update Bibtex to match updated publication

  dobios

  authored
  1a48e0e

  Copy full SHA for 1a48e0e

Commits on Jun 6, 2024

• Update bibtex entry

  schoeberl

  committed
  c2f4b26

  Copy full SHA for c2f4b26

• Add publishing to the Makefile

  schoeberl

  committed
  189c218

  Copy full SHA for 189c218

• Version update (Scala 2.13)

  schoeberl

  committed
  bcd0fc1

  Copy full SHA for bcd0fc1

Commits on May 23, 2024

• Extend verification of approximate hardware design functionality (#50)

  Show description for 90014b2
  hansemandse

  authored
  90014b2

  Copy full SHA for 90014b2

Commits on Apr 10, 2024

• Fixed name in citation

  dobios

  authored
  7e42878

  Copy full SHA for 7e42878

Commits on Sep 26, 2023

• Optimize verification of approximate hardware designs with caching (#49)

  Show description for 91e56a1
  hansemandse

  authored
  91e56a1

  Copy full SHA for 91e56a1

Commits on Apr 11, 2023

• Added an outdated API disclaimer for the wiki

  

  Andrew Dobis

  authored
  49913df

  Copy full SHA for 49913df

• Update README.md

  

  Andrew Dobis

  authored
  e77d070

  Copy full SHA for e77d070

Commits on Jan 12, 2023

• Update README.md

  dobios

  authored
  41445ab

  Copy full SHA for 41445ab

Commits on Jan 5, 2023

• Update README.md

  dobios

  authored
  1295c3d

  Copy full SHA for 1295c3d

• Update README.md

  dobios

  authored
  613c98d

  Copy full SHA for 613c98d

• Update and add support for verifying approximate hardware designs (#47)

  Show description for cd02673
  hansemandse

  authored
  cd02673

  Copy full SHA for cd02673

Commits on Oct 22, 2022

• added chiselverify randomtest benchmark

  dobios

  committed
  819b478

  Copy full SHA for 819b478

Commits on Oct 10, 2022

• Back to 3.5.1 for a test on GitHub

  schoeberl

  committed
  eafce63

  Copy full SHA for eafce63

• Towards a new release

  schoeberl

  committed
  d584e47

  Copy full SHA for d584e47

Commits on Oct 4, 2022

• Move cocotb code to otherverify

  schoeberl

  committed
  ec52be9

  Copy full SHA for ec52be9

• Move UVM and native code to otherverify

  schoeberl

  committed
  e876077

  Copy full SHA for e876077

Commits on Apr 29, 2022

• Merge branch 'master' of github.com:chiselverify/chiselverify

  dobios

  committed
  d0b07cf

  Copy full SHA for d0b07cf

• added arbiter cocotb example

  dobios

  committed
  7ece11e

  Copy full SHA for 7ece11e

Commits on Apr 28, 2022

• rebase

  dobios

  committed
  02421ce

  Copy full SHA for 02421ce

Commits on Mar 9, 2022

• fix some warnings

  ekiwi

  committed
  2f22eee

  Copy full SHA for 2f22eee

• formal: mark tests as failing

  ekiwi

  committed
  c1b6e26

  Copy full SHA for c1b6e26

• formal: arbiter tests (#43)

  ekiwi

  authored
  bd68025

  Copy full SHA for bd68025

Commits on Mar 8, 2022

• Merge pull request #42 from chiselverify/chisel-3.5

  Show description for 9a04574
  ekiwi

  authored
  9a04574

  Copy full SHA for 9a04574

• Merge branch 'master' into chisel-3.5

  dobios

  authored
  04efa52

  Copy full SHA for 04efa52

• updated arbiter VP

  dobios

  committed
  f3c765c

  Copy full SHA for f3c765c

• fixed broken Arbiter test

  dobios

  committed
  77740a9

  Copy full SHA for 77740a9

Commits on Mar 7, 2022

• remove old iotesters

  ekiwi

  committed
  ac41167

  Copy full SHA for ac41167

• upgrade to chisel 3.5

  ekiwi

  committed
  be3dc7f

  Copy full SHA for be3dc7f

• add CI and try to fix some of the failing tests

  ekiwi

  committed
  eaa6816

  Copy full SHA for eaa6816

Commits on Mar 6, 2022

• print report in arbiter

  dobios

  committed
  be5b429

  Copy full SHA for be5b429

• added Arbiter verification plan

  dobios

  committed
  fd32fd4

  Copy full SHA for fd32fd4

Commits on Dec 29, 2021

• fix arbitration example

  schoeberl

  committed
  a8abc33

  Copy full SHA for a8abc33

Commits on Dec 21, 2021

• Added arbitration example

  schoeberl

  committed
  cb69df2

  Copy full SHA for cb69df2

Pagination

Previous

Next