generate_chipdb( device xc7a50t part xc7a50tfgg484-1 )