Synthesis: Add fa/ha extract and techmap pass #253
Conversation
|
As described in #239 I'm going to wait a for the other changes to bake for a bit before landing these. |
|
I'm not sure if I should attach verilog files that are PDK and yosys specific, |
There was a problem hiding this comment.
Can we provide ASAP7 & SKY130 configurations?
Maybe at https://github.com/hdl/bazel_rules_hdl/tree/main/dependency_support/org_theopenroadproject_asap7_pdk_r1p7 and https://github.com/hdl/bazel_rules_hdl/tree/main/dependency_support/com_google_skywater_pdk/sky130_fd_sc_hd ?
|
I can add them to this folders. |
I assume that is what is needed to get us into the same set up as |
This commit adds extra `extract_fa` Yosys pass combined with fa/ha techmapping. It runs only when user specifies $fa/$ha to DPK mapping. This commit also adds new `adder_mapping` attr to the `synthesize_rtl` rule. This file provides Yosys with $fa/$ha blackboxes. This change may affect existing designs, as extra `opt` pass is being run. Signed-off-by: Maciej Dudek <[email protected]>
This commit adds Yosys fa/ha techmapping file to the OpenROAD configuration provider. These files are PDK and Standard cell specific, so each PDK variant has to provide its own definitions. Signed-off-by: Maciej Dudek <[email protected]>
This commit adds fa_ha_mapping file to the Skywater sky130 fd_sc_hd PDK. Signed-off-by: Maciej Dudek <[email protected]>
This commit adds fa_ha_mapping files to the ASAP7 R/L/SL PDKs. Signed-off-by: Maciej Dudek <[email protected]>
mtdudek
force-pushed
the
52551-adder_mapping_pass
branch
from
6239bed
to
67f5b43
Compare
|
I've added fa/ha mapping files from ORFS and I've modified |
|
LGTM! |
This commit adds extra
extract_faYosys pass combined with fa/ha techmapping.It runs only when user specifies $fa/$ha to DPK mapping.
This commit also adds new
adder_mappingattr to thesynthesize_rtlrule.This file provides Yosys with $fa/$ha blackboxes.
This change may affect existing designs, as extra
optpass is being run.Seventh part of the #243