I'm an FPGA-Engineer doing design and verification for high security hardware using VHDL, Verilog and PSL.