This script allows to build and execute simulation tests for SIS .blif circuits.
| Mode | Arguments | Description |
|---|---|---|
| Fast test | <circuit.blif> <tests> |
write, check, done |
| Build | -b <full.simtest> <tests> |
in case of high number of tests |
| Execute | <fsmd.blif> <full.simtest>[,tests] |
do not wait tests parsing |
| Help | -h |
self explanatory |
| Test parameters | (spaces are allowed everywhere) |
|---|---|
in |
Input bits |
[=out] |
Expected output bits |
[=name] |
Name of the test |
[,in...] |
Append another simulation |
./bliftest.sh or4.blif 0101
./bliftest.sh or4.blif 0101=1
./bliftest.sh or4.blif 0101 = 1
./bliftest.sh or4.blif 0 1 0 1 = 1
./bliftest.sh mux4.blif 1 1010 1111 = 1111
./bliftest.sh -b full.simtest 1100, 0110=1 000, 0001=*=Result
./bliftest.sh fsm.blif full.simtest
./bliftest.sh fsm.blif full.simtest,0011=0010=such cool very wow
This other script launches ./bliftest.sh with the necessary tests for the SIS project,
given by the University of Verona to first-year students graduating in IT.
It offers the opportunity to choose some options to adapt the tests to any design choices of the project.
Sample asking-for-choices output:
La macchina controlla con uno stato in più...
...l'errore di EM=0 [y/N]?
...l'errore di SCARTO [y/N]?
...l'overflow di NB [y/N]?
...l'overflow di NE [y/N]?
Usage:
./buildtest2019.sh
./bliftest.sh FSMD_final.blif test2019.simtest
Pregenerated tests with no additional FSM states in error checking.
Make sure that:
- you're inside your project directory (
cd ~/Elaborato) - your project file name is
FSMD_final.blif
a=BLIFTest
b=master
rm -f ${b}.zip*
wget https://github.com/Microeinstein/${a}/archive/${b}.zip
fld=${a}-${b}
unzip -o ${b}.zip
mv ${fld}/* .
rm -rf ${b}.zip* ${fld}
chmod +x *.sh
clear
./buildtest2019.sh
./bliftest.sh FSMD_final.blif test2019.simtest
