ecp5: Add simulation equivalence check for Diamond FF implementations

[yosys.git] / techlibs / ice40 / abc_lp.box

# From https://github.com/cliffordwolf/icestorm/blob/be0bca0/icefuzz/timings_lp8k.txt

# NB: Inputs/Outputs must be ordered alphabetically
#     (with exceptions for carry in/out)

# Inputs: A B I0 I3 CI
# Outputs: O CO
#   (NB: carry chain input/output must be last
#        input/output and have been moved there
#        overriding the alphabetical ordering)
$__ICE40_CARRY_WRAPPER 1 1 5 2
589 558 661 465 465
675 609 -   -   186