Pinned Repositories
VerilogToDimacs
Python file that takes in a verilog file and translates it into the proper dimacs file. The dimac file is then run using minisat to solve for reachability. When calling the python file, the user states the file name, the number of unrollings, and the desired state
COVID-Door-Screening
A COVID-19 symptom door screening system that goes through a process to determine if a person trying to enter a room has COVID-19 or not.
SamplerStompBox
A foot controlled guitar sampler that allows solo guitar plays to record their audio as well as playback the recording and combine it with real time guitar audio
jschuster1203's Repositories
jschuster1203/VerilogToDimacs
Python file that takes in a verilog file and translates it into the proper dimacs file. The dimac file is then run using minisat to solve for reachability. When calling the python file, the user states the file name, the number of unrollings, and the desired state
jschuster1203/SamplerStompBox
A foot controlled guitar sampler that allows solo guitar plays to record their audio as well as playback the recording and combine it with real time guitar audio
jschuster1203/COVID-Door-Screening
A COVID-19 symptom door screening system that goes through a process to determine if a person trying to enter a room has COVID-19 or not.