I took the next level of that course and they taught up to SMT and a few other things. We did all of the homework assignments in a hardware description language

I took the next level of that course and they taught up to SMT and a few other things. We did all of the homework assignments in a hardware description language called Verilog which allowed us to write abstractions for all the things.