DAT110 Methods for electronic system design and verification