44 commits

Author	SHA1	Message	Date
Gus Smith	38ee4fc730	Undo more unnecessary changes	2025-11-29 16:17:27 -08:00
Gus Smith	62e666c2ed	Make run-test work from anywhere	2025-11-29 16:08:42 -08:00
Gus Smith	fb8a1ad3bc	Add back param	2025-11-29 16:07:18 -08:00
Gus Smith	0f8e1e3bf7	Undo more changes	2025-11-29 16:06:18 -08:00
Gus Smith	5f84b8b339	Undo some other changes	2025-11-29 15:32:19 -08:00
Gus Smith	e223087578	Undo more changes that slipped in from somewhere? a merge maybe?	2025-11-29 15:28:34 -08:00
Gus Smith	5d5a7ab443	remove unused	2025-11-29 15:08:57 -08:00
Gus Smith	473edd19ed	Undo formatting	2025-11-29 15:06:46 -08:00
Gus Smith	403740428c	Remove unknown change	2025-11-29 15:01:17 -08:00
Gus Smith	6fe35fa46c	Merge remote-tracking branch 'origin/main' into gussmith23-rosette-backend-updates	2025-11-29 14:20:36 -08:00
Emil J. Tywoniak	73747f6928	read_verilog: add -relativeshare for synthesis reproducibility testing	2025-09-16 15:47:35 +02:00
Emil J. Tywoniak	175e024033	functional: in test, rely less on wreduce doing a perfect job	2025-09-16 15:47:16 +02:00
Krystine Sherwin	108a4ed496	tests/functional: Reduce CI to 100 steps ... Takes approx half the time, at least when testing locally.	2025-07-07 10:45:51 +12:00
Krystine Sherwin	3c54d8aef7	tests/functional: Auto parallelize ... Use the unique cell name (cell type + parameters) for the vcd filename to avoid collisions when converting to fst.	2025-07-07 10:38:32 +12:00
Gus Smith	a1d68fe3bc	Add option for using assoc list helpers in tests	2025-06-26 17:44:12 -07:00
Gus Smith	8a9d724873	Finish up functions and tests, TODO: CLI	2025-06-23 19:20:06 -07:00
Gus Smith	51560b0bf6	Start adding Rosette simulation facilties	2025-05-26 21:47:59 -07:00
Gus Smith	9faa61dfc6	Remove gate on smt and rkt tests ... as per https://github.com/YosysHQ/yosys/pull/5128#issuecomment-2896280647	2025-05-26 20:43:32 -07:00
Emily Schmidt	5a476a8d29	functional tests: run from make tests but not smtlib/rkt tests	2024-09-04 10:30:08 +01:00
Krystine Sherwin	7fe9157df2	smtr: Add rkt to functional tests	2024-09-03 11:32:02 +01:00
Emily Schmidt	2b8db94aa0	functional backend: add test to verify test_generic	2024-08-29 13:14:18 +01:00
Emily Schmidt	761eff594f	functional backend: missing includes for stl containers	2024-08-22 11:13:58 +01:00
Emily Schmidt	831da51255	add picorv test to functional backend	2024-08-21 11:04:11 +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	145af6f10d	fix memory handling in functional backend, add more error messages and comments for memory edgecases	2024-08-21 11:03:29 +01:00
Emily Schmidt	3cd5f4ed83	add support for RTLIL cells with multiple outputs to the functional backend, implement $fa,$lcu,$alu	2024-08-21 11:03:29 +01:00
Emily Schmidt	c0c90c2c31	functional backend: require shift width == clog2(operand width)	2024-08-21 11:03:29 +01:00
Emily Schmidt	6922633b0b	fix a few bugs in the functional backend and refactor the testing	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
Roland Coeurjoly	80582ed3af	Check the existance of a different set of outputs. No need for (push 1) nor (pop 1)	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	5780357cd9	Emit valid SMT for stateful designs, fix some cells	2024-08-21 11:02:31 +01:00
Roland Coeurjoly	50f487e08c	Added $ff test	2024-08-21 11:02:31 +01:00
Roland Coeurjoly	762f8dd822	Add readme explaining how to create test files	2024-08-21 11:02:31 +01:00
Roland Coeurjoly	73ed514623	Check that there are not other solutions other than the first given	2024-08-21 11:02:31 +01:00
Roland Coeurjoly	cb5f08364c	´SMT success only if simulation is equivalent	2024-08-21 11:02:31 +01:00
Roland Coeurjoly	e235fc704d	Create std::mt19937 only once	2024-08-21 11:02:31 +01:00
Emily Schmidt	21bb1cf1bc	rewrite functional c++ simulation library	2024-08-21 11:02:31 +01:00
Roland Coeurjoly	39bf4f04f7	Create VCD file from SMT file	2024-08-21 11:02:31 +01:00
Roland Coeurjoly	b98210d8ac	Valid SMT is emitted, improved test script	2024-08-21 11:02:31 +01:00
Roland Coeurjoly	71aaa1c80d	Consolidate tests scripts into one	2024-08-21 11:02:31 +01:00
Roland Coeurjoly	547c5466ec	Ignore smt2 files, generated by the execution of the tests	2024-08-21 11:02:31 +01:00
Roland Coeurjoly	54225b5c42	Add test for SMT backend. Tests if SMT is valid and compares simulation with yosys sim	2024-08-21 11:02:31 +01:00
Roland Coeurjoly	720429b1fd	Add test_cell tests for C++ functional backend	2024-08-21 11:01:09 +01:00