| # The bram test will be enable in a future PR after it's been fixed. | |
| TESTS = dffs \ | |
| latches \ | |
| shreg \ | |
| iob_no_flatten \ | |
| full_adder \ | |
| mac_unit \ | |
| multiplier \ | |
| logic | |
| include $(shell pwd)/../../Makefile_test.common | |
| dffs_verify = true | |
| shreg_verify = true | |
| iob_no_flatten_verify = true | |
| latches_verify = true | |
| full_adder_verify = true | |
| mac_unit_verify = true | |
| multiplier_verify = true | |
| logic_verify = true |