19 commits

Author	SHA1	Message	Date
Akash Levy	2d8588f15b	Update Verific	2024-10-02 23:09:36 -07:00
Akash Levy	ed2c65314b	Standardize convention, add back test, update README	2024-09-23 06:06:43 -07:00
Akash Levy	138228d96e	Update Verific README	2024-09-23 05:35:48 -07:00
Akash Levy	0fd6e29e8e	Fixups	2024-09-23 04:25:10 -07:00
Akash Levy	2d771a352e	Clean up Verific tests	2024-09-23 04:05:08 -07:00
Akash Levy	2c3d2b3ec6	Clocking works with -formal flag	2024-09-22 08:01:16 -07:00
Akash Levy	69bf7875dd	Small edits	2024-09-22 07:52:58 -07:00
Akash Levy	285c8a3f66	Merge branch 'YosysHQ:main' into main	2024-09-12 11:14:15 -07:00
Roland Coeurjoly	bdc43c6592	Add left and right bound properties to wire. Add test. Fix printing ... for signed attributes Co-authored-by: N. Engelhardt <nak@yosyshq.com> Co-authored-by: Roland Coeurjoly <rolandcoeurjoly@gmail.com>	2024-09-10 12:52:42 +02:00
Akash Levy	29e9d3ea92	Updates for hiding verific	2024-04-09 07:16:22 -07:00
Akash Levy	dd35d2da23	Modifications	2024-03-21 11:31:43 -07:00
Miodrag Milanovic	d00843d436	Add -nordff to test	2024-02-06 10:36:30 +01:00
Miodrag Milanovic	1764c0ee3c	Fix verific clocking when no driver exist	2024-01-18 08:47:04 +01:00
N. Engelhardt	833b67af80	verific: import attributes on ports ... Co-authored-by: Miodrag Milanović <mmicko@gmail.com>	2023-10-20 18:31:41 +02:00
N. Engelhardt	1b6d1e9419	memory_libmap: look for ram_style attributes on surrounding signals	2023-10-19 19:23:35 +02:00
Martin Povišer	8222121164	verific: Add test of accurate semantics in memory inference	2023-09-18 16:37:15 +02:00
Jannis Harder	390d1c583a	verific: Fix enum_values support and signed attribute values ... This uses the same constant parsing for enum_values and for attributes and extends it to handle signed values as those are used for enums that implicitly use the int type.	2023-03-15 09:51:36 +01:00
Miodrag Milanovic	d8cefec169	Added ranged case check	2023-02-27 09:24:04 +01:00
Miodrag Milanovic	53a4f0fb56	Add test example	2023-02-27 09:24:04 +01:00