SED-ProbIVHDL3-2018-2.pdf