In this tutorial we will look at using PollEx to to verify the DFE logic design for electrical engineering.