#!/bin/bash

set -ex
vivado -mode batch -source runme.tcl
for ff in fdre fdse fdce fdce_inv fdpe ldce ldpe; do
    ${XRAY_BITREAD} -F $XRAY_ROI_FRAMES -o design_$ff.bits -z -y design_$ff.bit
    ${XRAY_SEGPRINT} -z design_$ff.bits >design_$ff.seg
done

# Clock inverter bit
diff design_fdce.seg design_fdce_inv.seg || true
# Bits set on FF's are a superset of FDPE
# FDSE has the most bits set
diff design_fdpe.seg design_fdse.seg || true
diff design_fdpe.seg design_fdce.seg || true
diff design_fdpe.seg design_fdre.seg || true

# the latch bit
diff design_fdpe.seg design_ldpe.seg || true
# LDPE has one more bit pair set than LDCE
# This is the same pair FDRE/LDCE have
diff design_ldpe.seg design_ldce.seg || true