diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-03-17 15:16:28 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-17 15:16:28 +0000 |
| commit | a1c958a50129342aeccf38e0e591bed6c394cf74 (patch) | |
| tree | 2040275512a4d28adaa24010b53fc187295b6c3e /scripts/convert.sh | |
| parent | 921c8ace00ad57440467d495bdb19407a377193f (diff) | |
| download | vericert-a1c958a50129342aeccf38e0e591bed6c394cf74.tar.gz vericert-a1c958a50129342aeccf38e0e591bed6c394cf74.zip | |
Remove more unnecessary scripts
Diffstat (limited to 'scripts/convert.sh')
| -rwxr-xr-x | scripts/convert.sh | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/scripts/convert.sh b/scripts/convert.sh deleted file mode 100755 index c2ef311..0000000 --- a/scripts/convert.sh +++ /dev/null @@ -1,14 +0,0 @@ -file=$1 -benchmark=$(echo $1 | sed 's:.*/\([^/]\+\)/encode_report.xml:\1:') - -lut_flip_flop=$(sed -n "s/.*XILINX_LUT_FLIP_FLOP_PAIRS_USED.*\"\([0-9.]*\)\".*/\1/p" $file) -slice=$(sed -n "s/.*XILINX_SLICE\".*\"\([0-9.]*\)\".*/\1/p" $file) -regs=$(sed -n "s/.*XILINX_SLICE_REGISTERS.*\"\([0-9.]*\)\".*/\1/p" $file) -luts=$(sed -n "s/.*XILINX_SLICE_LUTS.*\"\([0-9.]*\)\".*/\1/p" $file) -ramfifo=$(sed -n "s/.*XILINX_BLOCK_RAMFIFO.*\"\([0-9.]*\)\".*/\1/p" $file) -iopin=$(sed -n "s/.*XILINX_IOPIN.*\"\([0-9.]*\)\".*/\1/p" $file) -dsps=$(sed -n "s/.*XILINX_DSPS.*\"\([0-9.]*\)\".*/\1/p" $file) -power=$(sed -n "s/.*XILINX_POWER.*\"\([0-9.]*\)\".*/\1/p" $file) -delay=$(sed -n "s/.*XILINX_DESIGN_DELAY.*\"\([0-9.]*\)\".*/\1/p" $file) - -echo $benchmark,$lut_flip_flop,$slice,$regs,$luts,$ramfifo,$iopin,$dsps,$power,$delay >>synth.csv |