With PAT is doesn't matter, I personally never put it in. It's used with a NAT pool of addresses so that the PIX can ascertain the broadcast and subnet addresses in the pool and it won't allocate those.
For example, having:
global (outside) 10.1.1.0 10.1.1.255 netmask 255.255.255.0
in your configuration, the PIX will NOT use the .0 and the .255 address because it knows they're the subnet and broadcast addresses within that subnet.
We have configured the outside and inside Interface with official ipv6 adresses, set a default route on outside Interface to our router, we also have definied a rule , which also gets hits, to permit tcp from inside Interface to any6.
In Syslog I also se...