/testsuite/ghdl-issues/issue1309/

• ../
• axis_squarer.sby
• axis_squarer.vhd
• faxis_master.v
• faxis_slave.v
• tb_formal_top.v
• testsuite.sh