3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-05-06 02:15:17 +00:00
yosys/tests/arch
2026-02-07 01:22:24 +01:00
..
anlogic tests: add formalff -clk2ff to fpga fsm.ys 2026-02-07 01:21:41 +01:00
common
ecp5 tests: fix fsm.ys 2026-02-07 01:22:24 +01:00
efinix tests: add formalff -clk2ff to fpga fsm.ys 2026-02-07 01:21:41 +01:00
fabulous tests: add formalff -clk2ff to fpga fsm.ys 2026-02-07 01:21:41 +01:00
gatemate tests: add formalff -clk2ff to fpga fsm.ys 2026-02-07 01:21:41 +01:00
gowin tests: formalff in lutram.ys and fsm.ys 2026-02-07 01:21:41 +01:00
ice40 tests: formalff in lutram.ys and fsm.ys 2026-02-07 01:21:41 +01:00
intel_alm tests: formalff in lutram.ys and fsm.ys 2026-02-07 01:21:41 +01:00
machxo2 tests: formalff in lutram.ys and fsm.ys 2026-02-07 01:21:41 +01:00
microchip
nanoxplore tests: formalff in lutram.ys and fsm.ys 2026-02-07 01:21:41 +01:00
nexus tests: formalff in lutram.ys and fsm.ys 2026-02-07 01:21:41 +01:00
quicklogic tests: fix fsm.ys 2026-02-07 01:22:24 +01:00
xilinx tests: formalff in lutram.ys and fsm.ys 2026-02-07 01:21:41 +01:00
run-test.sh