treadle.executable
builds driving and driven by relationships between symbols
Find all sources that are not inputs or registers.
Find all sources that are not inputs or registers. These should be initialized once at beginning of simulation
used for testing properties of symbols
builds driving and driven by relationships between symbols