Outlines :
Download Yosys Synthesis tool
How to install Yosys open synthesis tool open below given link for download yosys.
Step 1 : Make Verilog file " fa.v " add this code inside this file.
--------------------------------------------------------------------------------------------------
module fa(input a,b,c output sum,cout );
assign sum = (a ^ b ^ c );
assign cout = (a & b ) | (b & c) | (a & c);
endmodule
-----------------------------------------------------------------------------------------------------
Step 2 : make file with name yosys_script.ys
-------------------------------------------------------------------------------------------------------
# read design
read_verilog fa.v
#hierarchy -check -top fa
#the high-level stuff
#proc; opt; fsm; opt; memory; opt
# mapping to internal cell library
#techmap; opt
synth -top fa
# mapping flip-flops to mycells.lib
#dfflibmap -liberty sky130_fd_sc_hd__tt_025C_1v80.lib
# mapping logic to mycells.lib
abc -liberty sky130_fd_sc_hd__tt_025C_1v80.lib
# cleanup
clean
#area info
tee -o chiparea.txt stat -liberty sky130_fd_sc_hd__tt_025C_1v80.lib
# write synthesized design
write_verilog -noattr netlist.v
--------------------------------------------------------------------------------------------------------
Step 3 : open yosys by just type on terminal " yosys "