Searched refs:equivalency (Results 76 – 100 of 503) sorted by relevance
12345678910>>...21
25 is( $data->{sleepy}, 'sloopy', 'Basic equivalency' );51 is( $data->{slimey}, 'goo', 'Basic equivalency (multivalue)' );
6 equiv_opt -run :prove -map +/gowin/cells_sim.v synth_gowin # equivalency check
4 equiv_opt -assert -map +/ice40/cells_sim.v synth_ice40 # equivalency check
3 equiv_opt -assert -map +/ice40/cells_sim.v synth_ice40 # equivalency check
3 equiv_opt -assert -multiclock -map +/ice40/cells_sim.v synth_ice40 -dsp # equivalency check
5 equiv_opt -assert -map +/ice40/cells_sim.v synth_ice40 # equivalency check
7 equiv_opt -assert -map +/ice40/cells_sim.v -map +/simcells.v synth_ice40 # equivalency check
4 equiv_opt -assert -map +/ecp5/cells_sim.v synth_ecp5 # equivalency check
5 equiv_opt -assert -map +/ecp5/cells_sim.v synth_ecp5 # equivalency check
5 equiv_opt -assert -map +/ecp5/cells_sim.v -map +/simcells.v synth_ecp5 # equivalency check
5 #equiv_opt -assert -map +/ecp5/cells_sim.v synth_ecp5 # equivalency check
4 equiv_opt -assert -map +/efinix/cells_sim.v synth_efinix # equivalency check
5 equiv_opt -assert -map +/efinix/cells_sim.v synth_efinix # equivalency check
5 equiv_opt -assert -map +/anlogic/cells_sim.v -map +/simcells.v synth_anlogic # equivalency check
5 equiv_opt -assert -map +/anlogic/cells_sim.v synth_anlogic # equivalency check
4 equiv_opt -assert -map +/anlogic/cells_sim.v synth_anlogic # equivalency check
4 equiv_opt -assert -map +/machxo2/cells_sim.v synth_machxo2 # equivalency check
5 equiv_opt -assert -map +/machxo2/cells_sim.v synth_machxo2 # equivalency check
4 equiv_opt -assert -map +/gatemate/cells_sim.v synth_gatemate -noiopad # equivalency check