d-m-bailey / cvc

CVC: Circuit Validity Checker. Check for errors in CDL netlist.
GNU General Public License v3.0
21 stars 1 forks source link

calibre_cvc modifications to handle m= instance expansion and multiple top cells #226

Open d-m-bailey opened 3 years ago

d-m-bailey commented 3 years ago
diff -e `which calibre_cvc` ../calibre_cvc
162,163c
    -e 's/^\([^ ]*\)==[0-9]* /\1 /' \
.
131c
cat $PRIMARY.expand.list >> $rulefile
.
86c
    echo "Reusing $PRIMARY.expand.list"
.
81,82c
        echo "ERROR: could not create $PRIMARY.expand.list"
        rm -f $PRIMARY.expand.list
.
77c
        expand_cells.py /dev/null $PRIMARY $DATA > $PRIMARY.expand.list
.
73c
        expand_cells.py $cellOverrides $PRIMARY $DATA > $PRIMARY.expand.list
.
68,70c
if [[ ( $DATA -nt $PRIMARY.expand.list ) \
        || ( $cellOverrides -nt $PRIMARY.expand.list ) \
        || ( ! -s $PRIMARY.expand.list ) ]]; then
.