Text this: Vector-logic models of digital circuits for simulation and rendering.