Inchron- Timing Analysis and Trace based testing