Text this: Techniques for efficient and accurate simulation of mixed analog & digital circuits /