Interactive directed graph analysis methods for a digital hardware design system