HDL Paths Checking