diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-07-12 02:02:27 +0200 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-07-12 02:02:27 +0200 |
commit | deb0a4f64585c4ec061fe0726e9d9adbc38a2d83 (patch) | |
tree | a376378c281549d3ebc5b49bd18d1edf2d3dd8dc /scripts/convert.sh | |
parent | 9a4122dba9bdc33a8e912d5a45bae35e05afb229 (diff) | |
download | vericert-deb0a4f64585c4ec061fe0726e9d9adbc38a2d83.tar.gz vericert-deb0a4f64585c4ec061fe0726e9d9adbc38a2d83.zip |
Update the artifact description
Diffstat (limited to 'scripts/convert.sh')
-rwxr-xr-x | scripts/convert.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/scripts/convert.sh b/scripts/convert.sh new file mode 100755 index 0000000..c2ef311 --- /dev/null +++ b/scripts/convert.sh @@ -0,0 +1,14 @@ +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 |