What are you guys doing for physical verification, static timing analysis, stuff like that? As far as I know those tools still cost big bucks.