Automatic Generation of Fast Timed Simulation Models for OS in SoC Design