S
S. Hayati
Researcher at University of Southern California
Publications - 4
Citations - 80
S. Hayati is an academic researcher from University of Southern California. The author has contributed to research in topics: Automation & Problem domain. The author has an hindex of 4, co-authored 4 publications receiving 80 citations.
Papers
More filters
Proceedings ArticleDOI
Automatic Production of Controller Specifications from Control and Timing Behavioral Descriptions
S. Hayati,Alice C. Parker +1 more
TL;DR: This paper presents a method for the generation of controller specifications from high-level behavioral descriptions in control and timing graph form that is effective not only for independent data processors, but also for processors constrained by interface requirements and performing I/O protocol translation.
Proceedings ArticleDOI
Representation of control and timing behavior with applications to interface synthesis
TL;DR: The authors describe a formalism for the representation of interface behavior which can be used for high-level synthesis by a design automation system and has been used successfully as an internal representation for a natural-language interface for system specification.
Journal Article
Automating the VLSI design process using expert systems and silicon compilation
Alice C. Parker,S. Hayati +1 more
TL;DR: In this article, the authors describe the automatic design of custom integrated circuits from higher level specifications, including the problem domain and solution approach, higher level synthesis, module to layout automation systems, typically called silicon compiliers, and expert systems which control the design process.
Journal ArticleDOI
Automating the VLSI design process using expert systems and silicon compilation
Alice C. Parker,S. Hayati +1 more
TL;DR: This paper describes the automatic design of custom integrated circuits from higher level specifications by focusing on two systems developed at CMU and USC which plan or control design activities, Ulysses and DPE.