|
|
a6a5c6ea3f
|
Made timer synthesizable
|
2026-03-01 21:11:08 +01:00 |
|
|
|
5b940758b6
|
Added formal verification set to timer internally
|
2026-03-01 21:00:57 +01:00 |
|
|
|
abe0668787
|
new timer
|
2026-03-01 17:19:46 +01:00 |
|
|
|
7b46ae5e87
|
Some cleanup and added formal for the banks and timer
|
2026-03-01 14:12:12 +01:00 |
|
|
|
8289b0d090
|
Added wb formal script and added other sby tasks
|
2026-03-01 13:52:41 +01:00 |
|
|
|
cf483decad
|
Added everything from the other system
|
2026-02-28 21:52:06 +01:00 |
|
|
|
907f244b24
|
Added libjtag_wb_bridge
|
2026-02-28 18:39:50 +01:00 |
|
|
|
cf7e03b9fe
|
Added some stuff from modem and added formal
|
2026-02-28 18:23:39 +01:00 |
|
