Does fedi have any recommendations for textbooks on FPGAs and hardware definition languages?

I've been learning Verilog under a simulator lately and I'm particularly interested in how FPGA programming actually works at a low level