40 commits

Author	SHA1	Message	Date
Eddie Hung	5ad3a85288	abc9: test to use box file instead of auto	2020-05-14 10:33:56 -07:00
Eddie Hung	977262c803	Update simple_abc9 tests	2020-02-27 10:17:29 -08:00
Eddie Hung	dca1c806ec	simple_abc9 tests to discard whitebox before write for sim	2020-01-23 19:55:11 -08:00
Eddie Hung	11e50c0e9e	Test for (* keep *)-ed abc9_box_id	2020-01-23 18:56:25 -08:00
Eddie Hung	48aec34e0d	abc_box_id -> abc9_box_id in test	2020-01-23 18:53:14 -08:00
Eddie Hung	aed67dd020	abc9 needs a clean afterwards	2019-12-16 18:42:23 -08:00
Eddie Hung	a46a7e8a67	Merge remote-tracking branch 'origin/master' into xaig_dff	2019-12-06 23:22:52 -08:00
David Shah	e9ce4e658b	abc9: Fix breaking of SCCs ... Signed-off-by: David Shah <dave@ds0.me>	2019-12-01 20:44:56 +00:00
Eddie Hung	f6c0ec1d09	Merge remote-tracking branch 'origin/eddie/write_xaiger_improve' into xaig_dff	2019-11-27 01:03:33 -08:00
Eddie Hung	15042eaf57	Remove notes	2019-11-26 22:41:35 -08:00
Eddie Hung	b46e636c91	Merge branch 'xaig_dff' of github.com:YosysHQ/yosys into xaig_dff	2019-11-23 08:38:48 -08:00
Eddie Hung	74ea438136	Add testcase for signal used as part input part output	2019-11-22 16:52:55 -08:00
Eddie Hung	c761fa49b7	Missing endmodule	2019-11-22 12:37:57 -08:00
Eddie Hung	fe36275234	Merge remote-tracking branch 'origin/xaig_dff' into eddie/xaig_dff_adff	2019-11-21 16:32:52 -08:00
Eddie Hung	5a30e3ac3b	Merge branch 'eddie/xaig_dff_adff' into xaig_dff	2019-11-21 16:15:25 -08:00
Eddie Hung	911a152b39	Add test	2019-11-21 16:13:28 -08:00
Eddie Hung	cd9e830b67	Add multi clock test	2019-11-20 13:28:55 -08:00
Eddie Hung	90c5ca330c	Add two tests	2019-11-19 16:57:58 -08:00
Emily	69a5dea89e	Use command -v rather than which	2019-09-03 00:57:32 +01:00
Eddie Hung	6a111ad324	Nicer formatting	2019-08-29 17:24:48 -07:00
Clifford Wolf	21699e5840	Add *.sv to tests/simple_abc9/.gitignore ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-08-19 13:04:57 +02:00
Clifford Wolf	9e940f1276	Speed up "make test" and related cleanups ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-08-17 14:37:07 +02:00
Clifford Wolf	f8512864cd	Add tests/simple_abc9/.gitignore ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-07-09 20:58:01 +02:00
Eddie Hung	014606affe	Fix issue with part of PI being 1'bx	2019-06-20 17:38:16 -07:00
Eddie Hung	2e7b3eee40	Add a couple more tests	2019-06-12 15:43:43 -07:00
Eddie Hung	25befbf542	Rename to #23	2019-05-29 15:26:33 -07:00
Eddie Hung	aa2380c17a	Add abc_test024	2019-05-29 15:24:38 -07:00
Eddie Hung	92197326b8	Add abc9_test022	2019-05-28 12:43:07 -07:00
Eddie Hung	eec314e262	Remove topo sort no-loop assertion, with test	2019-04-24 21:06:53 -07:00
Eddie Hung	bfd71e0990	Fix abc9 with (* keep *) wires	2019-04-23 16:11:14 -07:00
Eddie Hung	59c993e437	Select to find union of both sets on stack	2019-04-19 15:47:53 -07:00
Eddie Hung	0c8a839f13	Re-enable partsel.v test	2019-04-16 13:10:35 -07:00
Eddie Hung	dfb23a79dd	Uncomment out more tests	2019-02-26 12:18:48 -08:00
Eddie Hung	66b5f5166b	Enable two inout tests	2019-02-26 11:39:17 -08:00
Eddie Hung	65c8ccf7b5	Add broken testcases	2019-02-25 15:06:23 -08:00
Eddie Hung	107da3becf	Working simple_abc9 tests	2019-02-21 11:16:25 -08:00
Eddie Hung	c6fd057eda	Add abc9.v testcase to simple_abc9	2019-02-21 10:37:45 -08:00
Eddie Hung	869343b040	simple_abc9 tests to now preserve memories	2019-02-20 16:19:01 -08:00
Eddie Hung	43d5471570	Move tests/techmap/abc9 to simple_abc9	2019-02-20 15:34:59 -08:00
Eddie Hung	945bbcc298	Add tests/simple_abc9	2019-02-20 15:31:35 -08:00