Text this: Theory and Modeling of Direct Digital Synthesizers