mirror of https://github.com/YosysHQ/picorv32.git
72 lines
1.7 KiB
Bash
72 lines
1.7 KiB
Bash
|
#!/bin/bash
|
||
|
|
|
||
|
|
set -e
|
||
|
|
read _ ip dev grade _ < <( echo $* | tr '_/' ' '; )
|
||
|
|
|
||
|
|
# rm -rf tab_${ip}_${dev}_${grade}
|
||
|
|
mkdir -p tab_${ip}_${dev}_${grade}
|
||
|
|
cd tab_${ip}_${dev}_${grade}
|
||
|
|
|
||
|
|
best_speed=99
|
||
|
|
speed=30
|
||
|
|
step=16
|
||
|
|
|
||
|
|
synth_case() {
|
||
|
|
if [ -f test_${1}.txt ]; then
|
||
|
|
echo "Reusing cached tab_${ip}_${dev}_${grade}/test_${1}."
|
||
|
|
return
|
||
|
|
fi
|
||
|
|
|
||
|
|
case "${dev}" in
|
||
|
|
xc7a) xl_device="xc7a15t-fgg484-${grade}" ;;
|
||
|
|
xc7k) xl_device="xc7k70t-fbg676-${grade}" ;;
|
||
|
|
xc7v) xl_device="xc7v585t-ffg1761-${grade}" ;;
|
||
|
|
esac
|
||
|
|
|
||
|
|
cat > test_${1}.tcl <<- EOT
|
||
|
|
read_verilog ../tabtest.v
|
||
|
|
read_verilog ../../../picorv32.v
|
||
|
|
read_xdc test_${1}.xdc
|
||
|
|
synth_design -flatten_hierarchy full -part ${xl_device} -top top
|
||
|
|
opt_design -sweep -remap
|
||
|
|
place_design -directive Explore
|
||
|
|
phys_opt_design -retime -rewire -critical_pin_opt -placement_opt -critical_cell_opt
|
||
|
|
route_design -directive Explore
|
||
|
|
place_design -post_place_opt
|
||
|
|
phys_opt_design -retime
|
||
|
|
route_design -directive NoTimingRelaxation
|
||
|
|
report_utilization
|
||
|
|
report_timing
|
||
|
|
EOT
|
||
|
|
|
||
|
|
cat > test_${1}.xdc <<- EOT
|
||
|
|
create_clock -period ${speed%?}.${speed#?} [get_ports clk]
|
||
|
|
EOT
|
||
|
|
|
||
|
|
echo "Running tab_${ip}_${dev}_${grade}/test_${1}.."
|
||
|
|
if ! $VIVADO -nojournal -log test_${1}.log -mode batch -source test_${1}.tcl > /dev/null 2>&1; then
|
||
|
|
cat test_${1}.log
|
||
|
|
exit 1
|
||
|
|
fi
|
||
|
|
mv test_${1}.log test_${1}.txt
|
||
|
|
}
|
||
|
|
|
||
|
|
while [ $step -gt 0 ]; do
|
||
|
|
synth_case $speed
|
||
|
|
|
||
|
|
if grep -q '^Slack.*(VIOLATED)' test_${speed}.txt; then
|
||
|
|
[ $speed -eq 38 ] || step=$((step / 2))
|
||
|
|
speed=$((speed + step))
|
||
|
|
elif grep -q '^Slack.*(MET)' test_${speed}.txt; then
|
||
|
|
[ $speed -lt $best_speed ] && best_speed=$speed
|
||
|
|
step=$((step / 2))
|
||
|
|
speed=$((speed - step))
|
||
|
|
else
|
||
|
|
echo "ERROR: No slack line found in $PWD/test_${speed}.txt!"
|
||
|
|
exit 1
|
||
|
|
fi
|
||
|
|
done
|
||
|
|
|
||
|
|
echo $best_speed > results.txt
|
||
|
|
|