Jannis Harder 331ac5285f
tests: Run async2sync before sat and/or sim to handle $check cells ...
Right now neither `sat` nor `sim` have support for the `$check` cell.
For formal verification it is a good idea to always run either
async2sync or clk2fflogic which will (in a future commit) lower `$check`
to `$assert`, etc.
While `sim` should eventually support `$check` directly, using
`async2sync` is ok for the current tests that use `sim`, so this commit
also runs `async2sync` before running sim on designs containing
assertions.
2024-02-01 16:14:11 +01:00
2019-10-18 11:06:12 +02:00
2022-10-07 16:04:51 +02:00
2020-02-07 09:03:22 +01:00
2019-12-28 16:22:24 +01:00
2023-02-21 05:23:14 +13:00
2023-02-21 05:23:14 +13:00
2023-02-21 05:23:14 +13:00
2022-05-18 17:32:56 +02:00
2022-05-18 17:32:56 +02:00
2019-12-28 16:22:24 +01:00
2020-01-17 17:07:03 -08:00
2020-02-27 10:17:29 -08:00
2019-12-27 16:44:57 -08:00
2020-01-01 16:24:30 +01:00
2023-04-22 16:24:36 -07:00
2023-04-22 16:24:36 -07:00
2020-01-10 14:48:01 +01:00
2020-02-05 14:46:48 -08:00
2024-02-01 16:14:11 +01:00
2019-12-28 16:43:19 +01:00
2019-12-28 16:22:24 +01:00
2019-10-18 11:06:12 +02:00
2021-10-07 04:24:06 +02:00
2020-07-31 00:08:15 +02:00
2019-12-28 16:22:24 +01:00
2022-05-18 17:32:56 +02:00
2019-10-18 11:06:12 +02:00
2019-12-22 20:51:14 +01:00
2020-05-25 10:09:05 -07:00
2020-05-25 10:09:05 -07:00
2019-10-18 11:06:12 +02:00
2019-12-28 16:43:19 +01:00
2019-12-28 16:43:19 +01:00
2023-06-09 14:41:45 +02:00
2021-01-27 00:32:00 +01:00
2020-07-12 23:41:27 +02:00
2022-10-07 16:04:51 +02:00
2020-07-24 03:19:21 +02:00
2023-02-21 05:23:15 +13:00
2023-02-21 05:23:15 +13:00
2020-09-21 15:07:02 +02:00
2019-12-28 16:22:24 +01:00
2021-12-10 00:22:37 +01:00
2019-12-21 20:23:23 +01:00
2019-12-18 13:43:43 +01:00
2022-10-07 16:04:51 +02:00
2020-04-22 17:50:30 -07:00
2020-05-25 10:07:58 -07:00
2019-10-18 11:06:12 +02:00
331ac5285f