Full tywaves pipeline explained

Flow diagram of tywaves

In green the calls to tools external from the one analyzed.

Sequence diagram of Chisel side

Here the portion of sequence diagram highlighting the steps in Chisel.

Sequence diagram of CIRCT side

Here the portion of sequence diagram highlighting the steps in CIRCT.

Sequence diagram of Surfer and Tywaves-rs side

Here the portion of sequence diagram highlighting the steps in the viewer.