AWEsim: asymptotic waveform evaluation for timing analysis | Synapse