Mostly working with Julia and Go researching methods for Automatic Test Pattern Generation in synchronous sequential circuits.