yosys/tests
Clifford Wolf d58c3eca3a Some test related fixes
(incl. removal of three bad test cases)
2015-02-12 17:45:44 +01:00
..
asicworld Some test related fixes 2015-02-12 17:45:44 +01:00
bram Refactoring of memory_bram and xilinx brams 2015-01-18 19:05:29 +01:00
fsm Cosmetic changes to FSM tests 2014-08-21 17:40:49 +02:00
hana Added autotest -e (do not use -noexpr on write_verilog) 2014-08-30 18:34:07 +02:00
memories Added SAT-based write-port sharing to memory_share 2014-07-19 15:33:55 +02:00
realmath Added "yosys -qq" to also quiet warning messages 2014-11-09 11:02:20 +01:00
sat Added yet another resource sharing test case 2014-07-20 21:15:01 +02:00
share Bugfix in resource sharing test 2015-01-27 19:30:06 +01:00
simple improvements in muxtree/select_leaves test 2015-01-18 13:24:01 +01:00
techmap Changed tests/techmap/mem_simple_4x1_map for new $mem/$memwr WR_EN interface 2014-07-16 14:08:51 +02:00
tools Some test related fixes 2015-02-12 17:45:44 +01:00
various Added tests/various/constmsk_test.ys 2014-09-04 15:07:30 +02:00
vloghtb Added "wreduce" to some of the standard test benches 2014-08-03 20:22:33 +02:00