I am used to VHDL now and use Active-VHDL for simulation, Xlinx's inbuilt analyzer called chipscope and ISE. I used verilog in 90's in Alcatel. We have HP Logic/Bus analyzer, Tektronix scope TDS 540 (but we rent the new model that captures well into 500 MHz). What do you use? Do you or anyone else have software PowerBGA?