Methods for electronic system design and verification