System-On-A-Chip verification :methodology and techniques