1623 commits

Author	SHA1	Message	Date
Martin Povišer	5f8d7ff170	Start new write_xaiger2 backend for export w/ boxes	2024-09-18 16:55:02 +02:00
Martin Povišer	ea765686b6	aiger2: Adjust hierarchy/port handling	2024-09-18 16:55:02 +02:00
Martin Povišer	2a3e907da8	aiger2: Adjust typing	2024-09-18 16:42:56 +02:00
Martin Povišer	72d65063c3	aiger2: Ignore benign cells	2024-09-18 16:42:56 +02:00
Martin Povišer	6cecf19ff4	aiger2: Ingest $bmux	2024-09-18 16:42:56 +02:00
Martin Povišer	1cfb9023c4	aiger2: Use REDUCE for reduction ops	2024-09-18 16:42:56 +02:00
Martin Povišer	6c1fa45995	aiger2: Ingest $pmux	2024-09-18 16:42:56 +02:00
Martin Povišer	9db1ca83fc	aiger2: Drop empty_lit() as a function	2024-09-17 13:58:07 +02:00
Martin Povišer	dbc937b2a7	aiger2: Describe supported cells in help	2024-09-17 13:55:58 +02:00
Martin Povišer	e4b24e8200	aiger2: Fix literal typing	2024-09-17 13:55:58 +02:00
Martin Povišer	8e29675a23	aiger2: Support $bwmux, comparison operators	2024-09-17 13:55:58 +02:00
Martin Povišer	d7128cb787	aiger2: Use shorthands	2024-09-17 13:55:58 +02:00
Martin Povišer	e59387e5a9	aiger2: Add aigsize as a second user of index	2024-09-17 13:55:58 +02:00
Martin Povišer	de8a2fb936	aiger2: Fix duplicate symbols on multibit ports	2024-09-17 13:55:58 +02:00
Martin Povišer	5671c10173	aiger2: Add strashing option	2024-09-17 13:55:58 +02:00
Martin Povišer	fa39227416	aiger2: Support $pos	2024-09-17 13:55:58 +02:00
Martin Povišer	fb26945a20	Start an 'aiger2' backend	2024-09-17 13:55:58 +02:00
Martin Povišer	e13ace675e	dump: Update help after option removal	2024-09-17 10:46:20 +02:00
Martin Povišer	865df26fac	Adjust buf-normalized mode	2024-09-17 10:46:20 +02:00
Claire Xenia Wolf	80119386c0	Add RTLIL "buffered-normalized mode" and improve "bufnorm" pass ... Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	2024-09-17 10:46:20 +02:00
Miodrag Milanović	b20df72e1e	Merge pull request #4536 from YosysHQ/functional ... Functional Backend	2024-09-06 10:05:04 +02:00
Krystine Sherwin	d6c5e13bf3	smtr: Structs have local scope ... Also unique_name can take field_name directly.	2024-09-03 11:32:02 +01:00
Krystine Sherwin	a2abbcb33f	smtr: Use scope.unique_name	2024-09-03 11:32:02 +01:00
Krystine Sherwin	5a29b3e172	smtr: More sanitization	2024-09-03 11:32:02 +01:00
Krystine Sherwin	07b6908019	smtr: Use rosette/safe	2024-09-03 11:32:02 +01:00
Krystine Sherwin	8b29629ca9	smtr: Fork smtlib for rosette	2024-09-03 11:32:02 +01:00
Martin Povišer	9c1bcb38d9	write_xaiger: Get by without endianness helpers	2024-09-03 08:59:09 +02:00
Emily Schmidt	4eeb8d326a	functional backend: rename "type" to either "kind" or "sort" to make the terminology consistent	2024-08-28 12:39:41 +01:00
Emily Schmidt	b428bf4600	functional backends: identifiers in c++/smtlib may not start with digits	2024-08-27 13:10:34 +01:00
Roland Coeurjoly	91e3773b51	Ensure signed constants are correctly parsed, represented, and exported in RTLIL. Add a test to check parsing and exporting	2024-08-21 14:28:42 +01:00
Emily Schmidt	f456761e88	add sandia copyright notice to the functional backend	2024-08-21 11:04:11 +01:00
Emily Schmidt	50047d25b3	functional backend: add different types of input/output/state variables	2024-08-21 11:04:11 +01:00
Emily Schmidt	850b3a6c29	convert class FunctionalIR to a namespace Functional, rename functionalir.h to functional.h, rename functional.h to compute_graph.h	2024-08-21 11:04:08 +01:00
Emily Schmidt	8c0f625c3a	functional backend: topological sort starts with the output and next states nodes, other nodes get deleted	2024-08-21 11:03:29 +01:00
Emily Schmidt	95d28c22a2	functional backend: make Memory in the C++ simulation library read-only again	2024-08-21 11:03:29 +01:00
Emily Schmidt	99effb6789	add support for initializing registers and memories to the functional backend	2024-08-21 11:03:29 +01:00
Emily Schmidt	6d329e142d	functional backend: error out if multiply driven or undriven signals are seen, dont bother putting them in functionalir	2024-08-21 11:03:29 +01:00
Emily Schmidt	13bacc5c8f	eliminate pmux in functional backend	2024-08-21 11:03:29 +01:00
Emily Schmidt	55c2c17853	document functionalir.h and change visitors to derive from AbstractVisitor. remove extraneous widths arguments from visitors.	2024-08-21 11:03:29 +01:00
Emily Schmidt	674e6d201d	rewrite functional backend test code in python	2024-08-21 11:03:29 +01:00
Emily Schmidt	6e7ae88c6a	fix bugs in smtlib backend	2024-08-21 11:03:29 +01:00
Emily Schmidt	00a65754bb	factor out SExpr/SExprWriter classes out of smtlib backend, and also tidy them up/document them	2024-08-21 11:03:27 +01:00
Emily Schmidt	c659ef29f4	change smtlib backend to use list() function instead of SExpr{} constructor (leads to weird constructor overloading resolution issues)	2024-08-21 11:02:31 +01:00
Emily Schmidt	9f660b1e4b	rewrite smtlib pass to use SExpr class	2024-08-21 11:02:31 +01:00
Roland Coeurjoly	7cff8fa3a3	Fix corner case of pos cell with input and output being same width	2024-08-21 11:02:31 +01:00
Roland Coeurjoly	fad76ce677	Fix memory leak	2024-08-21 11:02:31 +01:00
Roland Coeurjoly	5780357cd9	Emit valid SMT for stateful designs, fix some cells	2024-08-21 11:02:31 +01:00
Roland Coeurjoly	f0f436cbe7	Fix parenthesis for arithmetic_shift_right	2024-08-21 11:02:31 +01:00
Roland Coeurjoly	57af68af96	include algorithm, needed for std::reverse	2024-08-21 11:02:31 +01:00
Emily Schmidt	1b2986f7fb	add support for $mul, $div, $divfloor, $mod, $modfloor, $pow in functional backend	2024-08-21 11:02:31 +01:00