so I believe the SKY130 std cells have a FA/HA in them

Thanks James. does the synthesis tool support syntax like: +, * ? About the former, seams it supports from your comments.

Some do such as Synopsys DC and Cadence Design Systems Genus - not sure about yosys

Thanks James.

yes it supports both.