Ithaca, NY – GrammaTech, Inc. announced today that it has been awarded a $64,929 Small Business Innovative Research (SBIR) Phase I contract by the Ballistic Missile Defense Organization(BMDO). Upon completion of this six-month contract, GrammaTech will be eligible to compete for up to $750,000 in Phase II SBIR funding. Under terms of the agreement, GrammaTech will develop an innovative new data structure for representing information in highly compressed form that can serve as a replacement for Binary Decision Diagrams(BDDs).
GrammaTech has recently filed for a patent for this new data structure, which was invented for representing information in highly compressed form. This data structure can potentially lead to data structures that are exponentially smaller than BDDs. GrammaTech is developing a commercial package that will be a plug-compatible replacement for binary-decision diagrams. If successfull, this data structure will have the potential to permit hardware analysis and verification to be done much faster, and to allow much larger problems to be tackled than has previously been possible.
GrammaTech’s static-analysis tools are used worldwide by startups, Fortune 500 companies, educational institutions, and government agencies. The staff includes fourteen researchers with PhDs in programming languages and program analysis.