Function search from behavioral description of a digital system

  • Authors:
  • J.-G. Wu;W. P.-C. Ho;Y. H. Hu;D. Y. Y. Yun;H. J. Yu

  • Affiliations:
  • Department of Computer Science and Engineering, Southern Methodist University, Dallas, Texas and Ph.D. candidate of Department of Electrical Engineering, National Taiwan University;Department of Computer Science and Engineering, Southern Methodist University, Dallas, Texas;Department of Electrical Engineering, Southern Methodist University, Dallas, Texas;Department of Computer Science and Engineering, Southern Methodist University, Dallas, Texas;Department of Electrical Engineering, National Taiwan University, Taipei, Taiwan, R.O.C.

  • Venue:
  • DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
  • Year:
  • 1987

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present a novel approach for automating the functional design of digital systems. 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. That is, 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. We have adopted best-first search (A* algorithm) as the general framework, and developed several domain-specific heuristic functions (h') which control the search process. Preliminary experimental results are reported.