1899 commits

Author	SHA1	Message	Date
Akash Levy	34e5bc1129	Merge branch 'YosysHQ:main' into master	2024-08-14 16:56:53 -07:00
Martin Povišer	ab5d6b06b4	read_liberty: Fix omitted helper change	2024-08-13 20:12:38 +02:00
Martin Povišer	309d80885b	read_liberty: Use available gate creation helpers	2024-08-13 18:47:36 +02:00
Martin Povišer	3057c13a66	Improve libparse encapsulation	2024-08-13 18:47:36 +02:00
Akash Levy	68b3ad4bd3	Display resource sharing count	2024-08-06 02:27:09 -07:00
Akash Levy	c0af4604bc	Update Yosys	2024-07-30 16:55:18 -07:00
Miodrag Milanović	3e14e67374	Merge pull request #4500 from YosysHQ/micko/vhdl_mixcase ... VHDL is case insensitive, make sure netlist name is proper	2024-07-29 16:44:13 +02:00
Miodrag Milanovic	405897a971	Update top value that is returned back to hierarchy pass	2024-07-29 15:50:38 +02:00
Akash Levy	f790b75c19	Don't preserve user nets and update Verific tree balancing	2024-07-25 06:01:06 -07:00
Miodrag Milanovic	9566709426	Initialize extensions when verific pass is registered	2024-07-25 11:25:17 +02:00
Akash Levy	f1114cc98c	Simplify ignores	2024-07-24 02:14:11 -07:00
Akash Levy	ebc9f96f85	Merge branch 'YosysHQ:main' into master	2024-07-23 15:01:54 -07:00
Miodrag Milanovic	c94aa719d9	VHDL is case insensitive, make sure netlist name is proper	2024-07-18 16:56:52 +02:00
Emil J. Tywoniak	72a0380da8	ast: don't suggest use in external projects	2024-07-18 16:37:14 +02:00
Akash Levy	f18ddb5db2	Remove wide operator control	2024-07-10 12:53:59 -07:00
Akash Levy	8f4b66ae77	Set db_infer_wide_operators externally	2024-07-08 08:32:34 -07:00
Akash Levy	70016a08b8	Disable debug	2024-07-03 06:55:53 -07:00
Akash Levy	30241e07eb	Fix segfault	2024-07-03 02:29:48 -07:00
Akash Levy	fcd073ab51	Smallfix	2024-07-02 15:13:58 -07:00
Akash Levy	0596766cbd	Merge upstream yosys changes	2024-07-01 18:33:38 -07:00
Akash Levy	dec43679be	See if this fixes issues on Innatera design	2024-06-28 03:13:38 -07:00
gatecat	22d8df1e7e	liberty: Support for IO liberty files for verification ... Signed-off-by: gatecat <gatecat@ds0.me>	2024-06-19 21:12:42 +02:00
Akash Levy	719bbd7523	Improve SCC reporting	2024-06-17 14:18:41 -07:00
Miodrag Milanovic	dfde792288	Refactored import code	2024-06-17 14:49:58 +02:00
Miodrag Milanovic	19da7f7d59	Update makefile to make options uniform	2024-06-17 13:29:11 +02:00
Miodrag Milanovic	0f3f731254	Handle -work for vhdl, and clean messages	2024-06-17 13:29:11 +02:00
Miodrag Milanovic	0a81c8e161	Import all modules from all libraries when when needed	2024-06-17 13:29:11 +02:00
Miodrag Milanovic	7c3094633d	Compile with hier_tree separate SV and VHDL as well	2024-06-17 13:29:11 +02:00
Miodrag Milanovic	e2e189647f	Cleanup	2024-06-17 13:29:11 +02:00
Miodrag Milanovic	7bec332b68	SV + VHDL with RTL support	2024-06-17 13:29:11 +02:00
Miodrag Milanovic	25d50bb2af	VHDL only build support	2024-06-17 13:29:11 +02:00
Miodrag Milanovic	54bf9ccf06	Add initial support for Verific without additional YosysHQ patch	2024-06-17 13:29:11 +02:00
Akash Levy	a0c0384683	Preserve instances	2024-06-16 20:20:10 -07:00
Akash Levy	e23e33441f	Update yosys from upstream	2024-06-15 14:23:24 -07:00
Akash Levy	fce46d2a53	Add better Yosys/Verific name aliasing and reenable dffe opt	2024-06-15 14:18:33 -07:00
Akash Levy	2337d97977	Sub1 fix	2024-06-13 15:33:17 -07:00
Akash Levy	ac0a9e7366	Updates	2024-06-10 20:52:11 -07:00
Akash Levy	b9b776d211	Update for no preservation of user nets	2024-06-10 20:33:05 -07:00
Martin Povišer	b593f5c01c	Update the overview comment in ast.h	2024-06-10 16:38:39 +02:00
Akash Levy	d930310599	Enable more updates	2024-06-09 13:54:34 -07:00
Mike Inouye	b0ab1cf8c3	Fix memory leak in verific file parsing. ... Signed-off-by: Mike Inouye <mikeinouye@google.com>	2024-06-07 22:51:28 +00:00
Akash Levy	8499d31cf2	Revert veri_break_loops setting	2024-06-07 00:09:01 -07:00
Akash Levy	c8f7441a4a	Fix skip default value	2024-06-05 09:33:03 -07:00
Akash Levy	c59a997255	Ignore files properly	2024-06-05 07:53:21 -07:00
Akash Levy	4d44099d09	Support for ignoring translate_off and ignoring files	2024-06-05 05:00:05 -07:00
Akash Levy	5dc62bec0b	Support .inc files and readmemh missing file	2024-06-03 20:05:30 -07:00
Akash Levy	92e44cc9a3	Minor fix to ignore files	2024-06-03 18:17:50 -07:00
Akash Levy	4339b3681a	Elaborate top level modules undo	2024-06-03 16:17:51 -07:00
Akash Levy	a692bf17d7	Improper ignore translates	2024-06-03 11:23:16 -07:00
Akash Levy	783c0a593a	Actually optimize with Verific now	2024-06-03 04:55:47 -07:00