Hi , Anybody seem some issue in using techmap command for inferring adders in the design ? Using below command in yosys for the purpose : extract_fa -fa -v extract_fa -ha -v #set fa_map true techmap -map ./pdks/sky130A/libs.tech/openlane/sky130_fd_sc_hd/fa_map.v But the netlist fails in equivalence checking , a simple ripple carry adder fails . Thanks