{"id":20734036,"url":"https://github.com/microeinstein/bliftest","last_synced_at":"2025-12-24T03:21:27.353Z","repository":{"id":78124135,"uuid":"171139169","full_name":"Microeinstein/BLIFTest","owner":"Microeinstein","description":"Build and execute simulation tests for SIS projects.","archived":false,"fork":false,"pushed_at":"2019-02-22T10:13:35.000Z","size":73,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-01-18T00:48:58.411Z","etag":null,"topics":["2018-2019","bash-script","computer-science","sis","testing","university-of-verona"],"latest_commit_sha":null,"homepage":null,"language":"Shell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Microeinstein.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2019-02-17T15:38:54.000Z","updated_at":"2019-02-22T10:13:36.000Z","dependencies_parsed_at":"2023-02-26T06:15:58.544Z","dependency_job_id":null,"html_url":"https://github.com/Microeinstein/BLIFTest","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Microeinstein%2FBLIFTest","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Microeinstein%2FBLIFTest/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Microeinstein%2FBLIFTest/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Microeinstein%2FBLIFTest/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Microeinstein","download_url":"https://codeload.github.com/Microeinstein/BLIFTest/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":243019805,"owners_count":20222904,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["2018-2019","bash-script","computer-science","sis","testing","university-of-verona"],"created_at":"2024-11-17T05:28:22.729Z","updated_at":"2025-12-24T03:21:27.312Z","avatar_url":"https://github.com/Microeinstein.png","language":"Shell","readme":"# bliftest.sh\nThis script allows to build and execute simulation tests for SIS `.blif` circuits.\n\n\n### Command line usage:\n  |Mode|Arguments|Description|\n  |:-|:-|:-|\n  | Fast test | `\u003ccircuit.blif\u003e \u003ctests\u003e` | write, check, done |\n  | Build | `-b \u003cfull.simtest\u003e \u003ctests\u003e` | in case of high number of tests |\n  | Execute | `\u003cfsmd.blif\u003e \u003cfull.simtest\u003e[,tests]` | do not wait tests parsing |\n  | Help | `-h` | _self explanatory_ |\n\n\n  | Test parameters  | _(spaces are allowed everywhere)_ |\n  |:-|:-|\n  | `in` | Input bits |\n  | `[=out]` | Expected output bits | if `*` prints the output without test |\n  | `[=name]` | Name of the test |\n  | `[,in...]` | Append another simulation |\n\n\n### Examples:\n```\n./bliftest.sh  or4.blif  0101\n./bliftest.sh  or4.blif  0101=1\n./bliftest.sh  or4.blif  0101 = 1\n./bliftest.sh  or4.blif  0 1 0 1 = 1\n\n./bliftest.sh  mux4.blif 1 1010 1111 = 1111\n\n./bliftest.sh  -b full.simtest  1100, 0110=1 000, 0001=*=Result\n./bliftest.sh  fsm.blif  full.simtest\n./bliftest.sh  fsm.blif  full.simtest,0011=0010=such cool very wow\n```\n\n---\n## buildtest2019.sh\nThis other script launches `./bliftest.sh` with the necessary tests for the SIS project,\ngiven by the *University of Verona* to first-year students graduating in IT.\n\nIt offers the opportunity to choose some options to adapt the tests to any design choices of the project.\n\nSample _asking-for-choices_ output:\n```\nLa macchina controlla con uno stato in più...\n  ...l'errore di EM=0   [y/N]?\n  ...l'errore di SCARTO [y/N]?\n  ...l'overflow di NB   [y/N]?\n  ...l'overflow di NE   [y/N]?\n```\nUsage: \n```\n./buildtest2019.sh\n./bliftest.sh FSMD_final.blif test2019.simtest\n```\n\n---\n#### test2019.simtest\nPregenerated tests with no additional FSM states in error checking.\n\n---\n## AIO copy-paste command list\nMake sure that:\n * you're inside your project directory (`cd ~/Elaborato`)\n * your project file name is `FSMD_final.blif`\n\n[old link]: # \"\na=66bd028a88533cef61bd8b8528664863\nb=3f591ff7fcb90e27b0bc3a05c6679f0c3c002843\nwget https://gist.github.com/Microeinstein/${a}/archive/${b}.zip\n\"\n```\na=BLIFTest\nb=master\nrm -f ${b}.zip*\nwget https://github.com/Microeinstein/${a}/archive/${b}.zip\nfld=${a}-${b}\nunzip -o ${b}.zip\nmv ${fld}/* .\nrm -rf ${b}.zip* ${fld}\nchmod +x *.sh\nclear\n./buildtest2019.sh\n./bliftest.sh FSMD_final.blif test2019.simtest\n\n```\n\n#### Animated GIF of the execution:\n![Here it should show the GIF...](https://github.com/Microeinstein/BLIFTest/raw/master/execution.gif)\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmicroeinstein%2Fbliftest","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmicroeinstein%2Fbliftest","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmicroeinstein%2Fbliftest/lists"}