Skip to content

Actions: npatsiatzis/fifo_synchronous

Actions

sby Formal Verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formal.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.
51 workflow runs
51 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

sby Formal Verification sby Formal Verification #72: Scheduled
December 10, 2023 01:24 1m 1s main
main
December 10, 2023 01:24 1m 1s
sby Formal Verification sby Formal Verification #71: Scheduled
December 3, 2023 01:22 38s main
main
December 3, 2023 01:22 38s
sby Formal Verification sby Formal Verification #70: Scheduled
November 26, 2023 01:22 40s main
main
November 26, 2023 01:22 40s
sby Formal Verification sby Formal Verification #69: Scheduled
November 19, 2023 01:24 45s main
main
November 19, 2023 01:24 45s
sby Formal Verification sby Formal Verification #68: Scheduled
November 12, 2023 01:21 37s main
main
November 12, 2023 01:21 37s
sby Formal Verification sby Formal Verification #67: Scheduled
November 5, 2023 01:20 1m 1s main
main
November 5, 2023 01:20 1m 1s
sby Formal Verification sby Formal Verification #66: Scheduled
October 29, 2023 01:19 1m 4s main
main
October 29, 2023 01:19 1m 4s
sby Formal Verification sby Formal Verification #65: Scheduled
October 22, 2023 01:20 47s main
main
October 22, 2023 01:20 47s
sby Formal Verification sby Formal Verification #64: Scheduled
October 15, 2023 01:20 49s main
main
October 15, 2023 01:20 49s
sby Formal Verification sby Formal Verification #63: Scheduled
October 8, 2023 01:19 1m 6s main
main
October 8, 2023 01:19 1m 6s
Create VerifPlan.md sby Formal Verification #62: Commit b8d0ba9 pushed by npatsiatzis
October 7, 2023 18:03 1m 2s main
main
October 7, 2023 18:03 1m 2s
Update Specification.md sby Formal Verification #61: Commit 2fb85fc pushed by npatsiatzis
October 7, 2023 08:58 1m 6s main
main
October 7, 2023 08:58 1m 6s
upload Requirements Specification file sby Formal Verification #60: Commit 9cec734 pushed by npatsiatzis
October 7, 2023 07:19 50s main
main
October 7, 2023 07:19 50s
changed the formal verification test from bmc to prove(k-induction) sby Formal Verification #59: Commit cf328ab pushed by npatsiatzis
October 3, 2023 10:09 51s main
main
October 3, 2023 10:09 51s
added assertions and covers that verify the process of write & read (… sby Formal Verification #58: Commit 3e13587 pushed by npatsiatzis
October 2, 2023 10:55 53s main
main
October 2, 2023 10:55 53s
added new assert and cover properties in the formal verification prop… sby Formal Verification #57: Commit 9bb24da pushed by npatsiatzis
October 2, 2023 09:36 1m 6s main
main
October 2, 2023 09:36 1m 6s
Create LICENSE sby Formal Verification #56: Commit 403af9a pushed by npatsiatzis
October 1, 2023 14:55 46s main
main
October 1, 2023 14:55 46s
sby Formal Verification sby Formal Verification #55: Scheduled
October 1, 2023 01:24 1m 6s main
main
October 1, 2023 01:24 1m 6s
updated uvm_sim to collect code coverage sby Formal Verification #54: Commit cc7ad81 pushed by npatsiatzis
September 30, 2023 05:42 59s main
main
September 30, 2023 05:42 59s
updated uvm_sim to collect code coverage sby Formal Verification #53: Commit 94e13ec pushed by npatsiatzis
September 30, 2023 05:40 1m 7s main
main
September 30, 2023 05:40 1m 7s
updated constrained random data generation to use the constraints on … sby Formal Verification #52: Commit c0d6a7f pushed by npatsiatzis
September 25, 2023 09:53 47s main
main
September 25, 2023 09:53 47s
changed the distribution from which we draw the mem wr and rd signals… sby Formal Verification #51: Commit 1fc0b97 pushed by npatsiatzis
September 25, 2023 06:10 1m 30s main
main
September 25, 2023 06:10 1m 30s
sby Formal Verification sby Formal Verification #50: Scheduled
September 24, 2023 01:18 51s main
main
September 24, 2023 01:18 51s
modified verilator tb to conform to the new topology of the SystemVer… sby Formal Verification #49: Commit 78bd097 pushed by npatsiatzis
September 22, 2023 08:57 1m 11s main
main
September 22, 2023 08:57 1m 11s
sby Formal Verification sby Formal Verification #48: Scheduled
September 17, 2023 01:18 1m 18s main
main
September 17, 2023 01:18 1m 18s