Octopus Design automation develops an application that plugs into your existing HDL simulator, takes your chip design, your functional verification goals, and your test bench and generates stimulus that reaches all of your goals. It scales up without the need to hire larger teams of verification engineers by using a patent-pending hybrid machine learning formal analysis engine to automatically hit all of your verification goals. It will eventually have a user interface that does not require expertise in chip verification technology in order to be useful.It will be used by any company that develops and manufactures digital chips, semiconductor IP, and in the future digital systems. This includes companies such as Intel, Samsung, and Apple or companies like ARM or Imagination Technologies.