A general RDE-based simulator for statistical timing analysis