Software as a Service (SaaS) services featuring software for use by electrical engineers and circuit designers in the field of electronic design automation and register transfer level design for design verification