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.
Primary Sponsor(s): Cadstone