ForrestHunt, Inc.

Formal Methods
Circuit Modeling
Technology
Formal Verification
Research

ForrestHunt,Inc. has been at the forefront of the development of circuit development, graphics processing, and formal verification tools for the last 40 years, doing research and teaching the application of mathematical methods for both hardware and software design and development and teaching high-speed circuit design for computation and graphics for the last 30+ years at Caltech, at Harvard, and at the University of Texas at Austin.

Formal Methods

>We have been involved in various industrial verification projects including. Our methods and tools are used in a variety of security-oriented processing; our tools have...

Research And Development

>Over the years, we have provided a number of research reports that concern computing and technology and have worked on research and development projects

Circuits

>We have experience at building very flexible, response-driven circuits and systems that operate in a manner more consistent with biological systems. These kinds of circuits...

Consulting and training

>We have provided consultancy services to the Government and to various corporations, consulting and training in the applications of graphics, use of formal methods, hardware...

FHI was founded at the request of the US Government in 1998, and since that time, we have provided consultancy services to the Government and to various corporations. The consultants working for our company have more than 200 years of combined experience.

about us

Our Consultants

about us 1

Have worked in the high-tech industry in companies such as AMD, Motorola, IBM, Centaur Technology, Computational Logic, Inc., EDS, Inc. with proven results.

about us 2

Have academic experience as Research Scientists and Professors at the University of Texas in Austin, Harvard, Caltech and University of Edinburgh .

about us 3

Have given courses in many aspects of computing (many undergraduate- and graduate-level university courses as well as a number of courses specifically tailored for Government and industry), such as computer architecture, software and circuit design, computer and graphics processing, formal methods and verification, as well as a variety of engineering, computer-science, and mathematics courses. This direct experience on general-purpose computing