This research investigates formalization and automation techniques for design of asynchronous systems. Techniques for design of asynchronous systems. Techniques for managing multiple, independently synchronized domains under a methodology in which timing and communication can be explicitly specified, synthesized, and verified are being explored. specific tools and techniques being developed for the design of mixed-timed systems include: a performance and power optimizing compiler; a synthesis tool to produce technology-independent circuits; a technology mapping tool that takes the implementation and maps it to high- performance gate libraries; and a timing verification tool. In addition, new design methods are being developed to produce: high-performance mixed-timed data paths, and an interface between synchronous and asynchronous modules. The PI's education plan includes: curriculum emphasis on communication skills through course project reports and presentations; development of new computer engineering courses; promoting interdisciplinary activities; incorporating research activities into the curriculum through class and summer projects; and fostering interaction with industry through student summer internships.

Project Start
Project End
Budget Start
1996-07-15
Budget End
2001-06-30
Support Year
Fiscal Year
1996
Total Cost
$215,000
Indirect Cost
Name
University of Utah
Department
Type
DUNS #
City
Salt Lake City
State
UT
Country
United States
Zip Code
84112