Files
lctime/tests/run_freepdk45_test_sp2bool.sh

31 lines
450 B
Bash
Executable File

#!/bin/bash
# SPDX-FileCopyrightText: 2022 Thomas Kramer
#
# SPDX-License-Identifier: CC0-1.0
set -e
OUT_DIR=$(mktemp -d)
DATA_DIR=data/freepdk45
function clean {
rm -rf $OUT_DIR
}
trap clean EXIT
echo TEST: Recognize INVX1
sp2bool --spice INVX1.pex.netlist
echo TEST: Recognize AND2X1
sp2bool --spice AND2X1.pex.netlist
echo TEST: Recognize XOR2X1
sp2bool --spice XOR2X1.pex.netlist
# TODO: Include flip-flops & latches
echo TEST OK