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