2017-11-15 23:55:26 +01:00
|
|
|
#!/bin/bash
|
2020-04-16 10:50:39 +02:00
|
|
|
# Copyright (C) 2017-2020 The Project X-Ray Authors.
|
|
|
|
|
#
|
|
|
|
|
# Use of this source code is governed by a ISC-style
|
|
|
|
|
# license that can be found in the LICENSE file or at
|
|
|
|
|
# https://opensource.org/licenses/ISC
|
|
|
|
|
#
|
|
|
|
|
# SPDX-License-Identifier: ISC
|
2017-11-15 23:55:26 +01:00
|
|
|
|
|
|
|
|
set -ex
|
2018-12-28 18:58:28 +01:00
|
|
|
${XRAY_VIVADO} -mode batch -source runme.tcl
|
2017-11-28 00:43:02 +01:00
|
|
|
for ff in fdre fdse fdce fdce_inv fdpe ldce ldpe; do
|
2017-11-18 04:43:56 +01:00
|
|
|
${XRAY_BITREAD} -F $XRAY_ROI_FRAMES -o design_$ff.bits -z -y design_$ff.bit
|
2017-11-28 00:43:02 +01:00
|
|
|
${XRAY_SEGPRINT} -z design_$ff.bits >design_$ff.seg
|
2017-11-18 04:43:56 +01:00
|
|
|
done
|
2017-11-18 05:55:13 +01:00
|
|
|
|
2017-11-29 01:25:39 +01:00
|
|
|
# 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
|
|
|
|
|
|
