mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-07-16 01:16:40 +00:00
Code Activity
15700 commits 120 branches 56 tags 57 MiB
Commit graph

5 commits

Author SHA1 Message Date
Akash Levy
9cc82c7044 Revert clocking.ys 2025-02-13 20:32:17 -08:00
Akash Levy
c8c97ea00b Revert back to using Verific naming 2025-02-13 19:40:33 -08:00
Akash Levy
2c3d2b3ec6 Clocking works with -formal flag 2024-09-22 08:01:16 -07:00
Akash Levy
29e9d3ea92 Updates for hiding verific 2024-04-09 07:16:22 -07:00
Miodrag Milanovic
1764c0ee3c Fix verific clocking when no driver exist 2024-01-18 08:47:04 +01:00