I am trying to implement a project that makes use of the DE1-SoC's HPS and the FPGA at the same time. More specifically, I want to set up an interface between the HPS and the FPGA so that they can interact with each other.

For instance, perhaps the HPS, using a C program, will continue to monitor the state of an LED, whose behavior is described using Verilog. Then, the HPS will activate a state machine also described by Verilog (haven't figured out how to do that yet, though).

Can someone point me to tutorials or resources that explain how to implement designs using both C and Verilog?

Thank you!