Jehoshua (Shuki) Bruck

From Screws to Systems…

The Lineage of BMW

C. Elegans Lineage total of 959 cells 302 nerve cells 131 cells are destined to die

A HUGE Gap between Ability to Design and Analyze DesignAnalysis

Key to the Progress in Design: Abstractions in Information Systems Reasoning to Calculations to Physical Circuits Circuits Boolean Calculus Logical reasoning

Key to the Progress in Design: Abstractions in Information Systems Base x x10 + 1x1 = 271

Key to the Progress in Design: Abstractions in Information Systems Connection between Boolean Calculus and Arithmetic x4 + 1x2 + 0x1 = 2 0x4 + 1x2 + 1x1 = 3 Base x4 + 0x2 + 1x1 = 5 Adding two binary numbers can be expressed using Boolean Algebra

Connection between Boolean Calculus and Physical Circuits a b c ed SD dcbacedeabf  Key to the Progress in Design: Abstractions in Information Systems

a b c ed SD dcbacedeabf  Key to the Progress in Design: Abstractions in Information Systems Connection between Boolean Calculus and Physical Circuits

Key to the Progress in Design: Abstractions in Information Systems Shannon Boolean Algebra to Electrical Circuits Logic Design Connected Logic with Algebra Boolean Algebra Logical Calculation Boole Arithmetic to Boolean Calculus to Physical Circuits

The First Digital Adder George Stibitz George Stibitz was born in 1904 in New York City. He worked at Bell Labs in New York. In the fall of 1937 Dr. Stibitz used surplus relays, tin can strips, flashlight bulbs, and other common items to construct his "Model K" (K stands for kitchen table) breadboard digital calculator, which was designed to display the result of the addition of two bits.

A HUGE Gap between Ability to Design and Analyze DesignAnalysis

An IST Related Challenge Understanding Natural Information Systems Closing the gap between wonderful measurements and poor understanding Abstract Information Systems to formal systems to human reasoning Natural systems Calculus Logical reasoning

Information Science and Technology Planning Committee May 2002 – January 2003 Research foci and intellectual challenges Academic programs Resource planning Organization and road map What Should Caltech do in IST?

IST at Caltech Multidisciplinary Research Program Research centers involving members of Caltech at large Multidisciplinary Academic Program Engineering and Science with focus on Information Outreach programs Summer Schools, Executive programs, visitor programs, workshops, … Caltech should become the first Research University with focus on IST which integrates engineering and science at a the institute level Key differentiator in recruiting high quality faculty and students

IST Division (school/college) at Caltech IST CS, EE, APH, ACM, CNS, CDS Chemistry Physics Biology Social Science Mathematics Economics Involving about 25% of the faculty and 35% of the students undergraduate and graduate programs

IST Evolution at Caltech IST Planning Committee 5/2002 – 1/2003 IST Research Centers 7/2003 IST Division IST Faculty Hiring IST Academic Planning IST Building Planning 2003-

IST Physics of Information Circuitry of Life Four New Research Centers Started in the Fall of 2003 Science of Markets Mathematics of Information Active IST Community at Caltech

Information is a First Order Concept IST is the academic program for the ‘generalist’ of the information age like Physics was the academic program for the ‘generalist’ of the industrial age

C. Elegans Lineage total of 959 cells 302 nerve cells 131 cells are destined to die

Control via Stochastic Chemical Reactions A B C D E F G AGE GDF FED DCB CBA k k k k k     

Chemical Reactions Circuits

Bio Circuits vs. Combinational Logic Circuits Cyclic vs. acyclic (feedback) Relations vs. functions Stochastic vs. deterministic

Bio Circuits vs. Combinational Logic Circuits Joint Work with Marc Riedel Cyclic vs. acyclic (feedback) Relations vs. functions Stochastic vs. deterministic

optimal circuit for a function f without cycles optimal circuit for a function f with cycles Cycles: a Feature or a Bug? optimize for cost (area) Performance (delay)

Circuits With Cycles abc 1 f 2 f 3 f Generally exhibit time-dependent behavior May have unstable/unknown outputs

Generally exhibit time-dependent behavior May have unstable/unknown outputs 01 1 ? ?? Circuits With Cycles

The Role of Cycles in Circuit Design? Best paper award in 2003 Design Automation Conference Developed the theory and symbolic analysis methodology for cyclic combinational circuits Developed synthesis techniques for cyclic circuits Caltech Cyclify = a software package for the design of combinational circuits with cycles Integrated Caltech Cyclify with the Berkeley design tools Evaluated benchmark circuits and compared with the Berkeley design tools

Optimization for Area and Delay Berkeley SISCaltech CYCLIFY benchmarkAreaDelayAreaImprovementDelayImprovement p % % t % % in % % in % % 5xp %224.35% bw % % s % % s % % duke % % s % % s % % Area: number of NAND2/NOR2 gates Delay: 1 time unit/gate

Abstractions for Design of Information Systems Reasoning to Systems Shannon Turing Leibniz Boole Logic and Binary system Calculus Connected Logic with Algebra Boolean Algebra Logical Calculation Defined Computing via universal machines Computer Science Connected Boolean Algebra to Electrical Circuits Logic Design Connected probability to Communications Information Theory Calculus for Biology?? Natural systems to reasoning!!

ist.caltech.edu Enjoy your visit to Caltech!!