ITTC Project

Simulation of Rosetta Representations and Evaluations

Project Award Date: 08-15-2005


Designers of complex electronic systems, such as computers,must develop individual pieces while making sure they are complementary to other parts of the system. Different vocabulary and engineering processes make communication between parts difficult. The systemlevel design language Rosetta allows these subsystems to interact with one another.

The KU spin-off company Cadstone is developing a suite of electronic design automation (EDA) tools to analyze designs written in the Rosetta system specification language. These tools will perform abstract interpretation on specifications to identify problems in the earliest stages of the design process. The software will help electronics designers develop devices such as cellular phones, PDAs, gaming systems, semiconductor chips, and avionics.

ITTC researchers will: (i) update the parser front end; (ii) develop an evaluator and simulator; and (iii) develop model composition techniques for system analysis and synthesis of Rosetta.


Faculty Investigator(s): Victor Frost (PI)

Student Investigator(s): Garrin Kimmell, Nicolas Frisby, Jennifer Lohoefener, Mark Snyder, Wesley Peck, Evan Austin, Brigid Halling, Megan Peck

Project Sponsors

Primary Sponsor(s): Cadstone

Partner with ITTC

The Information and Telecommunication Technology Center at the University of Kansas has developed several assistance policies that enhance interactions between the Center and local, Kansas, or national companies. 

ITTC assistance includes initial free consulting (normally one to five hours). If additional support is needed, ITTC will offer one of the following approaches: 

Sponsored Research Agreement

Individuals and organizations can enter into agreements with KUCR/ITTC and provide funds for sponsored research to be performed at ITTC with the assistance of faculty, staff and students.

Licensing and Royalty/Equity Agreement

An ITTC goal is the development of investment-grade technologies for transfer to, and marketing by, local, Kansas, and national businesses. To enhance this process, the Center has developed flexible policies that allow for licensing, royalty, and equity arrangements to meet both the needs of ITTC and the company.

Commercialization Development

Companies with a technology need that can be satisfied with ITTC's resources can look to us for assistance. We can develop a relationship with interested partners that will provide for the development of a technology suited for commercialization.

ITTC Resource Access

ITTC resources, including computers and software systems, may be made available to Kansas companies in accordance with the Center's mission and applicable Regents and University policies.

ITTC Calendar
There are no upcoming events at this time.