Master’s in SoC/FPGA Architectures for Embedded Systems Engineering
Online master's programme of 1,900 hours in SoC/FPGA architecture engineering for embedded systems. 12 modules covering programmable logic architectures, RTL design in VHDL and SystemVerilog, AMBA AXI4 SoC integration, high-level synthesis, timing closure, UVM verification, hardware-software co-design, high-speed interfaces, reliability, AI acceleration and secure production, with an assigned technical tutor.
Take the controls.
Run a real engineering trade-off from this programme. Move the sliders, watch the model react in real time and beat the challenge.
What you will be able to do
Design heterogeneous SoC architectures combining processors and programmable logic.
Describe synthesisable hardware in VHDL and SystemVerilog.
Integrate AXI interfaces, memories and peripherals into complex systems.
Apply high-level synthesis to accelerate algorithms.
Achieve timing closure while optimising resources and power.
Verify designs using simulation, assertion and coverage methodologies.
Develop software and drivers for SoC FPGA platforms.
Who it's for
- FPGA design engineers.
- SoC architecture engineers.
- Hardware verification engineers.
- Hardware-software co-design engineers.
- Hardware accelerator engineers.
- Embedded systems engineers moving into programmable logic.
- Engineering or science graduates looking to enter the telecommunications sector.
What you'll work with
- AMBA AXI4 Protocol Specification (on-chip interconnect)
- IEEE 1800 SystemVerilog (hardware description and verification language)
- IEEE 1076 VHDL (hardware description language)
- IEEE 1149.1 (JTAG boundary scan)
- RTCA DO-254 (design assurance guidance for airborne electronic hardware)
- IEEE 1735 (encryption and management of electronic design IP)
- Accellera UVM 1.2 (Universal Verification Methodology)
- IEC 61508 (functional safety of E/E/PE systems)
- AMD Vivado
- AMD Vitis
- Intel Quartus Prime
- Siemens Questa
- Verilator
12 modules · 1900 h
1.1Evolution of FPGAs and programmable SoCs1.2Logic blocks, LUTs and flip-flops1.3DSP blocks and BRAM and URAM memories1.4High-speed serial transceivers1.5AMD Zynq UltraScale+ and Versal families1.6Intel Agilex and Stratix families1.7FPGA versus ASIC, GPU and CPU1.8Design flow from RTL to bitstream1.9Device selection criteria1.10Case study: device selection for machine vision
2.1Abstraction levels and the synthesisable subset2.2Combinational and sequential logic2.3Finite state machines and encoding2.4Datapath pipelining2.5SystemVerilog types, packages and interfaces2.6Parameterisable design with generics2.7Clock and reset strategies2.8Inference of memories and DSP blocks2.9Style guides and code review2.10Practical exercise: RTL design of a UART controller
3.1ARM processor subsystem in Zynq3.2The AMBA AXI4 protocol and its channels3.3AXI4-Lite and AXI4-Stream variants3.4Interconnects, arbitration and quality of service3.5Address maps and control registers3.6Integration of IP cores in Vivado3.7DDR4 and LPDDR4 memory controllers3.8Cache coherency with ACP ports3.9Interrupts from logic to processor3.10Lab: custom AXI peripheral on Zynq
4.1Principles of high-level synthesis4.2Loop pipelining and initiation interval4.3Loop unrolling and parallelism4.4Array partitioning into memories4.5Generating AXI interfaces from C++4.6Arbitrary-precision types4.7Latency and resource estimation4.8C/RTL co-simulation4.9Limitations and good practice in HLS4.10Workshop: image filtering accelerator with Vitis HLS
5.1Static timing analysis5.2Clock constraints in XDC format5.3Critical paths and negative slack5.4Clock domain crossing5.5Synchronisers and asynchronous FIFOs5.6Timing exceptions: false paths and multicycle paths5.7Placement, routing and congestion5.8Floorplanning and Pblocks5.9Implementation strategies for timing closure5.10Practical exercise: timing closure of a 300 MHz design
6.1Verification plan and metrics6.2SystemVerilog testbenches6.3SystemVerilog assertions (SVA)6.4Functional and code coverage6.5UVM methodology: agents and sequences6.6Formal property verification6.7Fast simulation with Verilator6.8Reference models in C and Python6.9Automated regressions in continuous integration6.10Lab: UVM environment for an AXI peripheral
7.1Partitioning functions between software and logic7.2Profiling to identify acceleration candidates7.3Linux drivers for peripherals in logic7.4Bare-metal and RTOS applications on Zynq7.5DMA transfers and shared memory7.6Dynamic partial reconfiguration7.7Vitis platforms and flows7.8End-to-end performance measurement7.9Joint hardware and software debugging7.10Case study: acceleration of a vision algorithm
8.1Multi-gigabit transceiver architecture8.2PCI Express in programmable logic8.3Ethernet from 10 to 100 Gb/s8.4JESD204B/C interface for converters8.5High-bandwidth memory interfaces8.6Signal integrity and eye diagrams8.7Link equalisation and calibration8.8Testing with IBERT and PRBS patterns8.9Laboratory validation of interfaces8.10Practical exercise: PCIe link between FPGA and host
9.1Static and dynamic power in FPGAs9.2Power estimation with vendor tools9.3Power reduction techniques9.4Device thermal management9.5Radiation effects and SEUs9.6Triple modular redundancy and memory scrubbing9.7ECC error detection and correction9.8DO-254 requirements for complex hardware9.9Functional safety to IEC 615089.10Workshop: power analysis and SEU mitigation
10.1Neural network inference on FPGAs10.2Quantisation and low-precision arithmetic10.3DPU processing units10.4AI Engines in the Versal family10.5Vitis AI compilers and flows10.6Latency and throughput compared with GPUs10.7Dataflow architectures10.8Applications in vision and radar10.9Memory optimisation in accelerators10.10Lab: deploying a convolutional network with Vitis AI
11.1Integrated logic analysers (ILA)11.2On-board debugging with JTAG11.3Bitstream encryption and authentication11.4Secure boot on programmable SoCs11.5Physical and side-channel attacks11.6IP protection to IEEE 173511.7Production testing and boundary scan11.8Hardware version management11.9Documentation for manufacturing11.10Case study: debugging an intermittent fault with ILA
12.1System definition and requirements12.2Hardware-software architecture of the SoC12.3RTL design and high-level synthesis12.4Integration of the processor subsystem12.5Functional verification of the design12.6Implementation and timing closure12.7Performance and power evaluation12.8Conclusions and future work12.9Master's Thesis report12.10Master's Thesis: defence before a panel
How you'll learn
Training is 100% online on the SEIUM campus, with downloadable material, recorded classes and an assigned technical tutor. There are no fixed timetables: you progress at your own pace within each intake, so the programme is compatible with work.
Each module combines theory, guided reading of the original standard and applied exercises. The working software is AMD Vivado, AMD Vitis, Intel Quartus Prime, Siemens Questa and Verilator, in free, academic or evaluation versions. Exercises are based on real procedures for RTL design and FPGA implementation, integration of processor and programmable logic in an SoC, and functional verification with UVM testbenches. Assessment is continuous per module, plus the final Master's Thesis.
Standards covered: AMBA AXI4, IEEE 1800 SystemVerilog, IEEE 1076 VHDL, IEEE 1149.1, RTCA DO-254, IEEE 1735, Accellera UVM 1.2 and IEC 61508.
Build it end to end
Your final project follows the real engineering workflow, step by step, reviewed by your tutor.
Where this takes you
Requirements
- University degree in engineering, science or architecture, or equivalent demonstrable professional experience.
- An internet connection and a computer able to run the programme software.
- English sufficient to read technical standards.
Ready to start?
Send your application today. Our admissions team replies within 72 hours with your study plan and funding options.
Frequently asked questions
The programme totals 1,900 hours over 12–14 months. You set your own pace within each intake, and your tutor helps you plan the workload around your job.
You work with AMD Vivado, AMD Vitis, Intel Quartus Prime, Siemens Questa and Verilator, using free, academic or evaluation versions. Your tutor indicates the free alternative wherever one exists.
A SEIUM Institute diploma, awarded on passing the continuous assessment and the Master's Thesis. It is SEIUM's own qualification, not an official state degree; its recognition depends on the programme completed and the regulations of each country.
Yes. Modules passed in a course or postgraduate diploma in the same area are recognised in the higher programme. Ask about the recognition policy when you enrol.
A university degree in engineering, science or architecture (or equivalent professional experience), a computer able to run the software and English sufficient to read technical standards.
Start dates are set by SEIUM's faculty for each intake. Our admissions team will confirm the next available date when you apply.
Related programmes
Master’s in User Satcom Engineering
Online master's programme of 1,900 hours in user satcom engineering: 12 modules covering satellite systems for users, link budgets, waveforms and protocols, terminal antennas and electronics,…
Master’s in RF Front-End Engineering
Online master's programme of 1,900 hours in RF front-end engineering: 12 modules covering RF parameters and measurement, RF semiconductor technologies, LNAs, power amplifiers, mixers, oscillators and…
Master’s in Regulated Medical Design Engineering
Online master's programme of 1,900 hours in regulated medical design engineering, structured in 12 modules covering the MDR and FDA framework, ISO 13485 quality management, ISO…
More in Electronics, Embedded Systems & Telecom
All Electronics, Embedded Systems & Telecom programmes → · How to apply · Fees & financing · Scholarships