We are updating our labs and would like to build the labs for several courses around the Terasic DE-1 boards that we use to teach digital electronics to also use the boards to teach Microprocessors. I'm pretty sure information exists on how to build an SoC using the ARM core and the FPGA but I can't find it. I was hoping that someone can point us in the right direction.
Start with this online training:
Continue on to the related courses listed on that page. The trainings include links to documentation as well.
See the doc: 'Cyclone V Hard Processor System Technical Reference Manual' chapter 9 'HPS-FPGA Bridges'.