scispace - formally typeset
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

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, +1 more
- 01 Mar 1991 - 
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

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.