FUNCTION SEARCH FROM BEHAVIORAL DESCRIPTION OF A DIGITAL SYSTEM.

J. G. Wu, W. P.C. Ho, Y. H. Hu, D. Y.Y. Yun, H. J. Yu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

A novel approach for automating the functional design of digital systems is presented. Given a set of behavioral specifications, the objective is to produce an optimal functional design which minimizes certain design criteria. One distinct feature of this approach is adding the step of function minimization: i. e. , the abstraction of the primitive operations into a set of functions that generates the desired behavior attempts to minimize the cost of that set according to the design criteria. For this purpose, it is important to have a powerful search strategy which will lead to a near-optimal solution in a reasonable time. The authors have adopted best-first search as the general framework, and developed several domain-specific heuristic functions which control the search process. Preliminary experimental results are reported.

Original languageEnglish
Title of host publicationProceedings - Design Automation Conference
PublisherIEEE
Pages574-579
Number of pages6
ISBN (Print)0818607815
Publication statusPublished - 1987 Jan 1

Publication series

NameProceedings - Design Automation Conference
ISSN (Print)0146-7123

    Fingerprint

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Wu, J. G., Ho, W. P. C., Hu, Y. H., Yun, D. Y. Y., & Yu, H. J. (1987). FUNCTION SEARCH FROM BEHAVIORAL DESCRIPTION OF A DIGITAL SYSTEM. In Proceedings - Design Automation Conference (pp. 574-579). (Proceedings - Design Automation Conference). IEEE.