Tools for development and modeling of electronic systems