# A simple synthesis example using SIS.
#
# Read library
echo; echo "Reading Library tanner.lib"; read_library tanner.lib; echo
#
# Read the input file
echo; echo "Reading Input BLIF simple.blif"; read_blif simple.blif; echo
#
# Collapse the network
echo; echo "Collapsing network"; collapse
#
# Technology Map
echo; echo "Mapping..."; map
#
# Print out the synthesized netlist
echo; echo "Synthesized Netlist"; print_gate -p; echo
#
# Print out the area etc. utilizations
echo; echo "Utilization"; print_gate -s; echo
#
# Exit from SIS
exit