Text this: A timing simulator for BICMOS, CMOS and BINMOS circuits and systems /