Google Tech Talks August 19, 2008 ABSTRACT With few exceptions, the design of digital systems -- both hardware and software -- is based on trial and error, and it is this aspect of digital design that we must move beyond in order to achieve a fundamental advance in the reliability and security of the systems we create. In this talk, we take a critical look at the problem from the perspective of other engineering disciplines in which: (a) design is not trial and error but instead is based on rigorous mathematical principles and (b) concurrency is expressed in a natural and transparent way. From this critical analysis, we identify four requirements for a methodology to take us beyond trial and error. We then give an overview of a methodology that meets those requirements. Speaker: Fred Furtek Dr. Furtek has broad experience in both hardware and software development with special expertise in reconfigurable multi-core processors, massively parallel algorithms and the mathematics of concurrency. He was among the first to work in the area of formal verification (The MITRE Corporation and The Charles Stark Draper Laboratory). He was also one of a handful of individuals to recognize the potential of reconfigurable hardware, and subsequently founded a field-programmable-gate-array company (Concurrent Logic) whose technology has been licensed to several major companies (Apple Computer, National Semiconductor and IBM) and which was ultimately purchased by another semiconductor ...
Orignal From: Digital Design: Beyond Trial and Error
Post a Comment