bliftest.sh

This script allows to build and execute simulation tests for SIS .blif circuits.

Command line usage:

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

Examples:

./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

---

buildtest2019.sh

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

---

test2019.simtest

Pregenerated tests with no additional FSM states in error checking.

---

AIO copy-paste command list

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

Animated GIF of the execution: