W1 ESCUG 2013: ESL - Putting the Pieces Together: Integrating SystemC Design and Verification with AMS and Algorithm Design