Skip to content

Actions: npatsiatzis/fifo_synchronous

Actions

Verilator Regression Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verilator_regression.yml
This scheduled workflow is disabled because there hasn't been activity in this repository for at least 60 days. Enable this workflow to resume scheduled runs.
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Verilator Regression Test Verilator Regression Test #33: Scheduled
December 10, 2023 00:47 33s main
main
December 10, 2023 00:47 33s
Verilator Regression Test Verilator Regression Test #32: Scheduled
December 3, 2023 00:46 6h 0m 22s main
main
December 3, 2023 00:46 6h 0m 22s
Verilator Regression Test Verilator Regression Test #31: Scheduled
November 26, 2023 00:46 31s main
main
November 26, 2023 00:46 31s
Verilator Regression Test Verilator Regression Test #30: Scheduled
November 19, 2023 00:46 6h 0m 23s main
main
November 19, 2023 00:46 6h 0m 23s
Verilator Regression Test Verilator Regression Test #29: Scheduled
November 12, 2023 00:44 31s main
main
November 12, 2023 00:44 31s
Verilator Regression Test Verilator Regression Test #28: Scheduled
November 5, 2023 00:44 6h 0m 24s main
main
November 5, 2023 00:44 6h 0m 24s
Verilator Regression Test Verilator Regression Test #27: Scheduled
October 29, 2023 00:43 6h 0m 21s main
main
October 29, 2023 00:43 6h 0m 21s
Verilator Regression Test Verilator Regression Test #26: Scheduled
October 22, 2023 00:43 31s main
main
October 22, 2023 00:43 31s
Verilator Regression Test Verilator Regression Test #25: Scheduled
October 15, 2023 00:44 6h 0m 27s main
main
October 15, 2023 00:44 6h 0m 27s
Verilator Regression Test Verilator Regression Test #24: Scheduled
October 8, 2023 00:43 34s main
main
October 8, 2023 00:43 34s
Create VerifPlan.md Verilator Regression Test #23: Commit b8d0ba9 pushed by npatsiatzis
October 7, 2023 18:03 6h 0m 24s main
main
October 7, 2023 18:03 6h 0m 24s
Update Specification.md Verilator Regression Test #22: Commit 2fb85fc pushed by npatsiatzis
October 7, 2023 08:58 35s main
main
October 7, 2023 08:58 35s
upload Requirements Specification file Verilator Regression Test #21: Commit 9cec734 pushed by npatsiatzis
October 7, 2023 07:19 6h 0m 26s main
main
October 7, 2023 07:19 6h 0m 26s
changed the formal verification test from bmc to prove(k-induction) Verilator Regression Test #20: Commit cf328ab pushed by npatsiatzis
October 3, 2023 10:09 34s main
main
October 3, 2023 10:09 34s
added assertions and covers that verify the process of write & read (… Verilator Regression Test #19: Commit 3e13587 pushed by npatsiatzis
October 2, 2023 10:55 35s main
main
October 2, 2023 10:55 35s
added new assert and cover properties in the formal verification prop… Verilator Regression Test #18: Commit 9bb24da pushed by npatsiatzis
October 2, 2023 09:36 45s main
main
October 2, 2023 09:36 45s
Create LICENSE Verilator Regression Test #17: Commit 403af9a pushed by npatsiatzis
October 1, 2023 14:55 41s main
main
October 1, 2023 14:55 41s
Verilator Regression Test Verilator Regression Test #16: Scheduled
October 1, 2023 00:46 33s main
main
October 1, 2023 00:46 33s
updated uvm_sim to collect code coverage Verilator Regression Test #15: Commit cc7ad81 pushed by npatsiatzis
September 30, 2023 05:42 6h 0m 23s main
main
September 30, 2023 05:42 6h 0m 23s
updated uvm_sim to collect code coverage Verilator Regression Test #14: Commit 94e13ec pushed by npatsiatzis
September 30, 2023 05:40 6h 0m 25s main
main
September 30, 2023 05:40 6h 0m 25s
updated constrained random data generation to use the constraints on … Verilator Regression Test #13: Commit c0d6a7f pushed by npatsiatzis
September 25, 2023 09:53 45s main
main
September 25, 2023 09:53 45s
changed the distribution from which we draw the mem wr and rd signals… Verilator Regression Test #12: Commit 1fc0b97 pushed by npatsiatzis
September 25, 2023 06:10 41s main
main
September 25, 2023 06:10 41s
Verilator Regression Test Verilator Regression Test #11: Scheduled
September 24, 2023 00:42 35s main
main
September 24, 2023 00:42 35s
modified verilator tb to conform to the new topology of the SystemVer… Verilator Regression Test #10: Commit 78bd097 pushed by npatsiatzis
September 22, 2023 08:57 34s main
main
September 22, 2023 08:57 34s
Verilator Regression Test Verilator Regression Test #9: Scheduled
September 17, 2023 00:42 6h 0m 23s main
main
September 17, 2023 00:42 6h 0m 23s