18 commits

Author	SHA1	Message	Date
Eddie Hung	5d680590d6	Use equiv_opt -async2sync for xilinx	2019-10-03 10:30:33 -07:00
Eddie Hung	6216e45eda	Add latch test modified from #1363	2019-09-30 12:52:43 +02:00
Eddie Hung	2f98f9deee	Add mac.sh and macc_tb.v for testing	2019-09-19 18:08:16 -07:00
Eddie Hung	c663a3680b	Remove stat	2019-09-18 12:44:34 -07:00
Eddie Hung	c9fe4d7992	Add .gitignore	2019-09-18 12:11:33 -07:00
Eddie Hung	c3cba7ab93	Refine macc testcase	2019-09-18 12:07:25 -07:00
Eddie Hung	7d644f40ed	Add AREG=2 BREG=2 test	2019-09-11 17:05:47 -07:00
Eddie Hung	6a95ecd41d	Update test with a/b reset	2019-09-11 10:13:13 -07:00
Eddie Hung	36d6db7f8a	Extend test for RSTP and RSTM	2019-09-11 09:09:08 -07:00
Eddie Hung	1fc50a03fc	Add SIMD test	2019-09-09 21:40:06 -07:00
Eddie Hung	e68507a716	Update macc test	2019-09-06 23:19:03 -07:00
Eddie Hung	9be9631e5a	Add macc test, with equiv_opt not currently passing	2019-08-30 16:18:14 -07:00
Eddie Hung	d508dc2906	Update test for ffM	2019-08-30 15:01:08 -07:00
Eddie Hung	7df0e77565	Add mul_unsigned test	2019-08-30 14:35:05 -07:00
Eddie Hung	64ea147236	Add .gitignore	2019-08-28 09:55:34 -07:00
Eddie Hung	2f493fb465	Use test_pmgen for xilinx_srl	2019-08-28 09:55:09 -07:00
Eddie Hung	2e9e745efa	Do not simplemap for variable test	2019-08-28 09:26:08 -07:00
Eddie Hung	975aaf190f	Add xilinx_srl test	2019-08-28 09:24:19 -07:00