mirror of https://github.com/efabless/caravel.git
157 lines
6.2 KiB
Bash
Executable File
157 lines
6.2 KiB
Bash
Executable File
#!/bin/bash
|
|
#
|
|
# run_caravan_lvs_3.sh ---
|
|
#
|
|
# Run LVS on caravan. Read GDS using the recipe developed for open_pdks.
|
|
# Read I/O cells from vendor GDS first so that they get replaced.
|
|
#
|
|
echo ${PDK_ROOT:=/usr/share/pdk} > /dev/null
|
|
echo ${PDK:=sky130A} > /dev/null
|
|
echo ${CARAVEL_ROOT:=/home/tim/gits/caravel} > /dev/null
|
|
echo ${LITEX_ROOT:=/home/tim/gits/caravel_mgmt_soc_litex} > /dev/null
|
|
|
|
echo "Running LVS on caravan."
|
|
if [ $# -eq 0 ]; then
|
|
echo "No arguments---running LVS on existing spice if it exists."
|
|
elif [ $1 == "extract" ]; then
|
|
echo "Forced new extraction."
|
|
rm -f caravan.spice
|
|
else
|
|
echo "Ending without running LVS."
|
|
exit 0
|
|
fi
|
|
|
|
if [ ! -f caravan.spice ]; then
|
|
magic -dnull -noconsole -rcfile $PDK_ROOT/$PDK/libs.tech/magic/$PDK.magicrc << EOF
|
|
drc off
|
|
crashbackups stop
|
|
|
|
# ! This recipe taken from open_pdks/sky130/custom/scripts/gds_import_io.tcl
|
|
gds flatten true
|
|
gds flatglob *_cdns_*
|
|
gds flatglob *sky130_fd_pr__*_example_*
|
|
|
|
# ! flatten within the 120x2 ESD device
|
|
gds flatglob *sky130_fd_io__gnd2gnd_*
|
|
|
|
# The following cells have to be flattened for the gpiov2 pad to read in
|
|
# correctly, and produce a layout that can be extracted and generate an
|
|
# LVS clean netlist.
|
|
|
|
### flatten within the analog mux isolated P region
|
|
gds flatglob *sky130_fd_io__amx*
|
|
gds flatglob *sky130_fd_io__xor*
|
|
gds flatglob *sky130_fd_io__gpiov2_amx*
|
|
gds flatglob *sky130_fd_io__gpiov2_amux*
|
|
|
|
### flatten within the isolated VSSIO domain
|
|
gds flatglob *sky130_fd_io__feas_com_pupredrvr*
|
|
gds flatglob *sky130_fd_io__com_pupredrvr_strong_slowv2*
|
|
gds flatglob *sky130_fd_io__com_pdpredrvr_pbiasv2*
|
|
gds flatglob *sky130_fd_io__gpiov2_pdpredrvr_strong*
|
|
|
|
### flatten in opathv2
|
|
gds flatglob *sky130_fd_io__com_pudrvr_strong_slowv2*
|
|
gds flatglob *sky130_fd_io__com_pdpredrvr_strong_slowv2*
|
|
gds flatglob *sky130_fd_io__gpiov2_obpredrvr*
|
|
gds flatglob *sky130_fd_io__hvsbt_*
|
|
|
|
### flatten in ipath
|
|
gds flatglob *sky130_fd_io__gpiov2_ictl_logic*
|
|
|
|
### avoid splitting a netlist that passes in contorted ways through the
|
|
### layout hierarchy
|
|
gds flatglob *sky130_fd_io__gpio_pddrvr_strong_slowv2*
|
|
gds flatglob *sky130_fd_io__gpiov2_pddrvr_strong*
|
|
|
|
gds read $PDK_ROOT/$PDK/libs.ref/sky130_fd_io/gds/sky130_fd_io.gds
|
|
gds read $PDK_ROOT/$PDK/libs.ref/sky130_fd_io/gds/sky130_ef_io.gds
|
|
|
|
# Now assert that existing views must take precedence
|
|
gds noduplicates true
|
|
|
|
# GDS is still written in legacy mode
|
|
cif istyle sky130(legacy)
|
|
|
|
# And read in the full chip (except for cells already read)
|
|
gds read $CARAVEL_ROOT/gds/caravan-signoff.gds.gz
|
|
load caravan
|
|
select top cell
|
|
expand
|
|
extract do local
|
|
extract no all
|
|
extract unique
|
|
extract all
|
|
ext2spice lvs
|
|
ext2spice
|
|
EOF
|
|
rm -f *.ext
|
|
fi
|
|
|
|
cat > netgenD.tcl << EOF
|
|
puts stdout "Reading netlist caravan.spice"
|
|
set circuit1 [readnet spice caravan.spice]
|
|
puts stdout "Reading SPICE netlists of I/O"
|
|
set circuit2 [readnet spice $PDK_ROOT/$PDK/libs.ref/sky130_fd_io/spice/sky130_fd_io.spice]
|
|
readnet spice $PDK_ROOT/$PDK/libs.ref/sky130_fd_io/spice/sky130_ef_io.spice \$circuit2
|
|
readnet spice $PDK_ROOT/$PDK/libs.ref/sky130_fd_sc_hd/spice/sky130_fd_sc_hd.spice \$circuit2
|
|
readnet spice $PDK_ROOT/$PDK/libs.ref/sky130_fd_sc_hd/spice/sky130_ef_sc_hd__decap_12.spice \$circuit2
|
|
readnet spice $PDK_ROOT/$PDK/libs.ref/sky130_fd_sc_hvl/spice/sky130_fd_sc_hvl.spice \$circuit2
|
|
puts stdout "Reading all gate-level verilog submodules"
|
|
readnet verilog $CARAVEL_ROOT/verilog/rtl/defines.v \$circuit2
|
|
readnet verilog $CARAVEL_ROOT/verilog/gl/constant_block.v \$circuit2
|
|
readnet verilog $CARAVEL_ROOT/verilog/gl/digital_pll.v \$circuit2
|
|
readnet verilog $CARAVEL_ROOT/verilog/gl/gpio_control_block.v \$circuit2
|
|
readnet verilog $CARAVEL_ROOT/verilog/gl/gpio_defaults_block.v \$circuit2
|
|
readnet verilog $CARAVEL_ROOT/verilog/gl/gpio_defaults_block_0403.v \$circuit2
|
|
readnet verilog $CARAVEL_ROOT/verilog/gl/gpio_defaults_block_0801.v \$circuit2
|
|
readnet verilog $CARAVEL_ROOT/verilog/gl/gpio_defaults_block_1803.v \$circuit2
|
|
readnet verilog $CARAVEL_ROOT/verilog/gl/gpio_logic_high.v \$circuit2
|
|
readnet verilog $CARAVEL_ROOT/verilog/gl/gpio_signal_buffering_alt.v \$circuit2
|
|
readnet verilog $CARAVEL_ROOT/verilog/gl/mprj_logic_high.v \$circuit2
|
|
readnet verilog $CARAVEL_ROOT/verilog/gl/mprj2_logic_high.v \$circuit2
|
|
readnet verilog $CARAVEL_ROOT/verilog/gl/mgmt_protect_hv.v \$circuit2
|
|
readnet verilog $CARAVEL_ROOT/verilog/gl/mgmt_protect.v \$circuit2
|
|
readnet verilog $CARAVEL_ROOT/verilog/gl/spare_logic_block.v \$circuit2
|
|
readnet verilog $CARAVEL_ROOT/verilog/gl/caravel_clocking.v \$circuit2
|
|
readnet verilog $CARAVEL_ROOT/verilog/gl/user_id_programming.v \$circuit2
|
|
readnet verilog $CARAVEL_ROOT/verilog/gl/xres_buf.v \$circuit2
|
|
readnet verilog $CARAVEL_ROOT/verilog/gl/buff_flash_clkrst.v \$circuit2
|
|
readnet verilog $CARAVEL_ROOT/verilog/gl/housekeeping.v \$circuit2
|
|
readnet verilog $CARAVEL_ROOT/verilog/gl/chip_io_alt.v \$circuit2
|
|
puts stdout "Reading LiteX gate-level verilog submodules"
|
|
readnet verilog $LITEX_ROOT/verilog/gl/RAM128.v \$circuit2
|
|
readnet verilog $LITEX_ROOT/verilog/gl/RAM256.v \$circuit2
|
|
readnet verilog $LITEX_ROOT/verilog/gl/mgmt_core_wrapper.v \$circuit2
|
|
puts stdout "Reading top gate-level verilog module"
|
|
readnet verilog $CARAVEL_ROOT/verilog/gl/caravan-signoff.v \$circuit2
|
|
|
|
# Cells in management core wrapper (layout) are prefixed with RL_ or KF_
|
|
set cells1 [cells list -all \$circuit1]
|
|
set cells2 [cells list -all \$circuit2]
|
|
foreach cell \$cells1 {
|
|
if {[regexp "\\[A-Z\\]\\[A-Z\\]_(.+)" \$cell match cellname]} {
|
|
if {([lsearch \$cells2 \$cell] < 0) && ([lsearch \$cells2 \$cellname] >= 0) && ([lsearch \$cells1 \$cellname] < 0)} {
|
|
equate classes "\$circuit1 \$cell" "\$circuit2 \$cellname"
|
|
puts stdout "Matching pins of \$cell in circuit 1 and \$cellname in circuit 2"
|
|
equate pins "\$circuit1 \$cell" "\$circuit2 \$cellname"
|
|
}
|
|
}
|
|
# Ignore fill cells in standard cell sets that have two-letter prefixes.
|
|
if {[regexp {\\[A-Z\\]\\[A-Z\\]_sky130_fd_sc_[^_]+__fill_[[:digit:]]+} \$cell match]} {
|
|
ignore class "\$circuit1 \$cell"
|
|
}
|
|
}
|
|
|
|
# Run LVS
|
|
flatten class "\$circuit2 user_project_wrapper"
|
|
lvs "\$circuit1 caravan" "\$circuit2 caravan" $PDK_ROOT/$PDK/libs.tech/netgen/${PDK}_setup.tcl caravan_3_comp.out
|
|
EOF
|
|
|
|
export NETGEN_COLUMNS=90
|
|
export MAGIC_EXT_USE_GDS=1
|
|
netgen -batch source netgenD.tcl
|
|
# rm netgenD.tcl
|
|
|
|
exit 0
|