Finding a given circuits path is sensitizable or non sensitizable.

Determining rising and falling transition for each vertex and to prove the logic network/critical path is sensitizable if an event can propagate from its tail to its head.

To get the full code, please visit here GitHub

Thanks.