bitrig branch pedro_uvm_amap deleted

[Pedro Martelletto]

the bitrig pedro_uvm_amap branch has been deleted by pedro.