Advanced simulation and emulation techniques from system to circuit level; simulation accelerators; multi-domain simulation techniques for mixed systems; transaction-level validation, hardware/software co-simulation and validation, ATPG for validation; testbench generation; simulation-based verification; semi-formal verification techniques, design error debug and diagnosis