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.