/scripts/

• ../
• formal_equiv.sh
• parse_firrtl_transform_log.py