Skip to content

Actions: npatsiatzis/fifo_synchronous

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
288 workflow runs
288 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

upload Requirements Specification file CoCoTB Functional Coverage #65: Commit 9cec734 pushed by npatsiatzis
October 7, 2023 07:19 1m 22s main
main
October 7, 2023 07:19 1m 22s
upload Requirements Specification file CoCoTB Regression Tests #68: Commit 9cec734 pushed by npatsiatzis
October 7, 2023 07:19 1m 26s main
main
October 7, 2023 07:19 1m 26s
upload Requirements Specification file pyuvm Functional Coverage #64: Commit 9cec734 pushed by npatsiatzis
October 7, 2023 07:19 1m 4s main
main
October 7, 2023 07:19 1m 4s
changed the formal verification test from bmc to prove(k-induction) pyuvm Functional Coverage #63: Commit cf328ab pushed by npatsiatzis
October 3, 2023 10:09 59s main
main
October 3, 2023 10:09 59s
changed the formal verification test from bmc to prove(k-induction) CoCoTB Functional Coverage #64: Commit cf328ab pushed by npatsiatzis
October 3, 2023 10:09 1m 8s main
main
October 3, 2023 10:09 1m 8s
changed the formal verification test from bmc to prove(k-induction) CoCoTB Regression Tests #67: Commit cf328ab pushed by npatsiatzis
October 3, 2023 10:09 1m 25s main
main
October 3, 2023 10:09 1m 25s
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
changed the formal verification test from bmc to prove(k-induction) pyuvm Regression Tests #66: Commit cf328ab pushed by npatsiatzis
October 3, 2023 10:09 1m 36s main
main
October 3, 2023 10:09 1m 36s
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 assertions and covers that verify the process of write & read (… pyuvm Functional Coverage #62: Commit 3e13587 pushed by npatsiatzis
October 2, 2023 10:55 1m 8s main
main
October 2, 2023 10:55 1m 8s
added assertions and covers that verify the process of write & read (… CoCoTB Regression Tests #66: Commit 3e13587 pushed by npatsiatzis
October 2, 2023 10:55 1m 30s main
main
October 2, 2023 10:55 1m 30s
added assertions and covers that verify the process of write & read (… CoCoTB Functional Coverage #63: Commit 3e13587 pushed by npatsiatzis
October 2, 2023 10:55 1m 3s main
main
October 2, 2023 10:55 1m 3s
added assertions and covers that verify the process of write & read (… pyuvm Regression Tests #65: Commit 3e13587 pushed by npatsiatzis
October 2, 2023 10:55 1m 10s main
main
October 2, 2023 10:55 1m 10s
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… CoCoTB Functional Coverage #62: Commit 9bb24da pushed by npatsiatzis
October 2, 2023 09:36 58s main
main
October 2, 2023 09:36 58s
added new assert and cover properties in the formal verification prop… pyuvm Regression Tests #64: Commit 9bb24da pushed by npatsiatzis
October 2, 2023 09:36 1m 19s main
main
October 2, 2023 09:36 1m 19s
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
added new assert and cover properties in the formal verification prop… pyuvm Functional Coverage #61: Commit 9bb24da pushed by npatsiatzis
October 2, 2023 09:36 1m 10s main
main
October 2, 2023 09:36 1m 10s
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
added new assert and cover properties in the formal verification prop… CoCoTB Regression Tests #65: Commit 9bb24da pushed by npatsiatzis
October 2, 2023 09:36 1m 30s main
main
October 2, 2023 09:36 1m 30s
Create LICENSE CoCoTB Functional Coverage #61: Commit 403af9a pushed by npatsiatzis
October 1, 2023 14:55 1m 3s main
main
October 1, 2023 14:55 1m 3s
Create LICENSE pyuvm Functional Coverage #60: Commit 403af9a pushed by npatsiatzis
October 1, 2023 14:55 1m 16s main
main
October 1, 2023 14:55 1m 16s
Create LICENSE pyuvm Regression Tests #63: Commit 403af9a pushed by npatsiatzis
October 1, 2023 14:55 1m 19s main
main
October 1, 2023 14:55 1m 19s
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