https://github.com/microeinstein/bliftest
Build and execute simulation tests for SIS projects.
https://github.com/microeinstein/bliftest
2018-2019 bash-script computer-science sis testing university-of-verona
Last synced: 7 months ago
JSON representation
Build and execute simulation tests for SIS projects.
- Host: GitHub
- URL: https://github.com/microeinstein/bliftest
- Owner: Microeinstein
- License: mit
- Created: 2019-02-17T15:38:54.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2019-02-22T10:13:35.000Z (over 6 years ago)
- Last Synced: 2025-01-18T00:48:58.411Z (9 months ago)
- Topics: 2018-2019, bash-script, computer-science, sis, testing, university-of-verona
- Language: Shell
- Size: 71.3 KB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# bliftest.sh
This script allows to build and execute simulation tests for SIS `.blif` circuits.
### Command line usage:
|Mode|Arguments|Description|
|:-|:-|:-|
| Fast test | ` ` | write, check, done |
| Build | `-b ` | in case of high number of tests |
| Execute | ` [,tests]` | do not wait tests parsing |
| Help | `-h` | _self explanatory_ |
| Test parameters | _(spaces are allowed everywhere)_ |
|:-|:-|
| `in` | Input bits |
| `[=out]` | Expected output bits | if `*` prints the output without test |
| `[=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`
[old link]: # "
a=66bd028a88533cef61bd8b8528664863
b=3f591ff7fcb90e27b0bc3a05c6679f0c3c002843
wget https://gist.github.com/Microeinstein/${a}/archive/${b}.zip
"
```
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:
