Static analysis for combinational loops

[mkorbel1]

Motivation

This thread discusses some thoughts on adding static combinational loop detection to ROHD: https://discord.com/channels/545823859006242826/714328992211140609/1212390408244433017

Perhaps it is not too hard to implement.

Desired solution

At build time of a Module, perform a static analysis in search of combinational loops.

Ideally, we avoid "warnings" and false positives.

Alternatives considered

ROHD already will simulate X-prop through combinational loops during simulation.

Additional details

No response