Skip to content

[Conversion][HandshakeToSynth] Handshake to Synth Conversion Pass#787

Open
Carmine50 wants to merge 32 commits intomainfrom
handshake-synth-conversion-pass
Open

[Conversion][HandshakeToSynth] Handshake to Synth Conversion Pass#787
Carmine50 wants to merge 32 commits intomainfrom
handshake-synth-conversion-pass

Conversation

@Carmine50
Copy link
Collaborator

@Carmine50 Carmine50 commented Mar 13, 2026

The following PR adds a conversion pass between Handshake and Synth. This pass allows to generate an hierarchical AIG represented using the Synth dialect.

Additionally, it adds 2 key steps:

  • A BLIF File manager which manages the location of the blif file representing each handshake operation
  • A BLIF File marking pass which marks the blif path of each handshake unit

For more information on the added features please refer to the corresponding docs.

@Carmine50 Carmine50 force-pushed the handshake-synth-conversion-pass branch from 6acc83d to 02392ea Compare March 13, 2026 12:00
@Carmine50 Carmine50 force-pushed the handshake-synth-conversion-pass branch from 02392ea to 3a84fcc Compare March 13, 2026 12:02
@Carmine50 Carmine50 changed the title [Conversion][Synth][Handshake] Handshake synth conversion pass [Conversion][Synth][Handshake] Handshake to Synth Conversion Pass Mar 13, 2026
@Carmine50 Carmine50 changed the title [Conversion][Synth][Handshake] Handshake to Synth Conversion Pass [Conversion][HandshaketoSynth] Handshake to Synth Conversion Pass Mar 13, 2026
@Carmine50 Carmine50 changed the title [Conversion][HandshaketoSynth] Handshake to Synth Conversion Pass [Conversion][HandshakeToSynth] Handshake to Synth Conversion Pass Mar 13, 2026
@Carmine50 Carmine50 marked this pull request as ready for review March 13, 2026 17:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant