Design Methods and Tools for Mixed-Timed Systems

本研究探讨了异步系统设计的形式化和自动化技术。异步系统设计技术。在一种可以明确指定、综合和验证时间和通信的方法下，管理多个独立同步域的技术正在被探索。正在开发的用于设计混合时间系统的特定工具和技术包括：性能和功率优化编译器；一个合成工具，以生产技术独立的电路；一个技术映射工具，将实现映射到高性能门库；还有一个定时验证工具。此外，正在开发新的设计方法，以产生：高性能混合时间数据路径，以及同步和异步模块之间的接口。PI的教育计划包括：通过课程项目报告和演示强调沟通技巧；计算机工程新课程的开发；促进跨学科活动；通过课堂和暑期项目将研究活动纳入课程；并通过学生暑期实习促进与行业的互动。

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.