Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 7, 2024

• Update Link to Tabby CAD suite

  tmeissner

  committed
  db5a7c3

  Copy full SHA for db5a7c3

• Link GHA shield badge to GHA workflow

  tmeissner

  committed
  cfb3698

  Copy full SHA for cfb3698

• Fix GHA shield badge

  tmeissner

  committed
  2f06350

  Copy full SHA for 2f06350

Commits on Mar 6, 2024

• Modernize Test GHA workflow (#3)

  cmarqu

  authored
  3d29afb

  Copy full SHA for 3d29afb

Commits on Oct 5, 2021

• fifo: Fix SERE to also match cycles w/o ren after last write

  tmeissner

  committed
  6a31968

  Copy full SHA for 6a31968

• fifo: Add example for GHDL property replication

  Show description for 4a58b17
  tmeissner

  committed
  4a58b17

  Copy full SHA for 4a58b17

Commits on Mar 13, 2021

• Add data flow checks in fifo units

  tmeissner

  committed
  c8c8062

  Copy full SHA for c8c8062

Commits on Mar 12, 2021

• Correct full & empty flag deassertion, fixes #2

  tmeissner

  committed
  c355c14

  Copy full SHA for c355c14

Commits on Feb 16, 2021

• Replace reset checks by async VHDL asserts; Add assumptions about inputs

  tmeissner

  committed
  3d57fff

  Copy full SHA for 3d57fff

Commits on Feb 4, 2021

• Add fwft-fifo info to readme

  tmeissner

  committed
  641fa3a

  Copy full SHA for 641fa3a

Commits on Feb 3, 2021

• Add fwft-fifo & use that for vai-fifo; minor fixes

  tmeissner

  committed
  e9b4035

  Copy full SHA for e9b4035

Commits on Jan 14, 2021

• Fix badge URL; minor further changes

  tmeissner

  committed
  763c2f0

  Copy full SHA for 763c2f0

• Add infos about recommended docker images

  tmeissner

  committed
  2bc122e

  Copy full SHA for 2bc122e

• Merge pull request #1 from umarcor/ci/gha

  Show description for 93e9801
  tmeissner

  authored
  93e9801

  Copy full SHA for 93e9801

• ci: add GitHub Actions workflow 'Test'

  umarcor

  committed
  37619d2

  Copy full SHA for 37619d2

Commits on Jan 13, 2021

• Add simple top levem Makefile & test list

  tmeissner

  committed
  f4029a2

  Copy full SHA for f4029a2

Commits on Jan 6, 2021

• Use chformal to remove unreachable cover cells

  tmeissner

  committed
  667601f

  Copy full SHA for 667601f

• Name assume & restrict directives

  tmeissner

  committed
  db4cdea

  Copy full SHA for db4cdea

• Fix chformal selection parameter; add reset restrict to top-level

  tmeissner

  committed
  4adea23

  Copy full SHA for 4adea23

• Add (non-functional yet) VAI-FIFO

  tmeissner

  committed
  23cc189

  Copy full SHA for 23cc189

Commits on Aug 10, 2020

• Add infos about fifo model to README

  tmeissner

  committed
  f2e4f71

  Copy full SHA for f2e4f71

• Add simple FIFO model incl. formal tests

  tmeissner

  committed
  7051719

  Copy full SHA for 7051719

Commits on Jun 8, 2020

• Removing verific related dlatchsr from master branch

  tmeissner

  committed
  903931b

  Copy full SHA for 903931b

• Use PSL functions instead of workarounds; add forgotten always to asserts in alu

  tmeissner

  committed
  f2f433b

  Copy full SHA for f2f433b

• Update README to renamed branches

  tmeissner

  committed
  3da2f2d

  Copy full SHA for 3da2f2d

Commits on Mar 24, 2020

• Minor updates to README file

  tmeissner

  committed
  1ef9d69

  Copy full SHA for 1ef9d69

• Making counter design work with GHDL synthesis

  Show description for d94585c
  tmeissner

  committed
  d94585c

  Copy full SHA for d94585c

Commits on Mar 21, 2020

• Symplifing Makefile targets

  tmeissner

  committed
  bc59bfd

  Copy full SHA for bc59bfd

Commits on Feb 24, 2020

• Add alu checks

  Show description for 3e621b0
  tmeissner

  committed
  3e621b0

  Copy full SHA for 3e621b0

Commits on Feb 23, 2020

• Making alu design work with GHDL synthesis

  Show description for d420b00
  tmeissner

  committed
  d420b00

  Copy full SHA for d420b00

Commits on Feb 8, 2020

• Add short informations about the ghdl-synth branch

  tmeissner

  committed
  996bec1

  Copy full SHA for 996bec1

• Remove unused SVA properties file; Makefile optimizations; use prep auto-top option to prevent error with not founded top-level module

  tmeissner

  committed
  6c3a6db

  Copy full SHA for 6c3a6db

Commits on Nov 6, 2019

• GHDL supports memory with resets, finally

  tmeissner

  committed
  bd5fcbc

  Copy full SHA for bd5fcbc

Commits on Oct 21, 2019

• Add Assumptions about job req VAI interface

  tmeissner

  committed
  e71b70d

  Copy full SHA for e71b70d

• Add many new asserts & covers

  tmeissner

  committed
  8cf0be6

  Copy full SHA for 8cf0be6

Pagination

Previous

Next