gately%resbld@ti-csl.CSNET ("Michael T. Gately") (04/15/87)
From: NGSTL1::LINDAHL "Multihack -- lindahl%ngstl1@ti-eg.csnet"
From: TILDE::"BEF@HOME"
Texas Instruments Computer Science Center Lecture Series
CONSTRAINTS, PLANNING, AND DESIGN:
THERE IS A REASON FOR EVERYTHING UNDER THE SUN
PROF. DANIEL WEISE (STANFORD UNIVERSITY)
10:00 am, Friday, 1 May 1987
Semiconductor Building Main Auditorium
Every design decision has a set of rationales and a set of
ramifications. These ramifications affect other design decisions. I
believe that algorithms and expert systems fail for automatic design
synthesis because they do not explicitly reason about rationales or
ramifications. They also fail because they do not react to the design
being built. In this talk I will outline the problems of
automatically designing hardware, show why current approaches must
fail, and describe a new methodology, based on communicating
constraint based problem solvers, which might succeed.
BIOGRAPHY
Daniel Weise received both his Masters and Ph.D. degrees at the MIT
Artificial Intelligence Laboratory. He did his dissertation on
verifying MOS circuits. He is now an assistant professor at Stanford
University working on design automation and silicon compilation.
----------------------------------------------------------------------
The lecture will be given in the Semiconductor Building Main
Auditorium at the Dallas Expressway site. Visitors to TI should
contact Dr. Bruce Flinchbaugh (214-995-0349) in advance and meet in
the north entrance lobby of the Semiconductor Building by 9:45am.
-------