Work reported herein was conducted at the Artificial Intelligence Laboratory, a Massachusetts Institute of Technology research program supported in part by the Advanced Research Projects Agency of the Department of Defense and monitored by the Office of Naval Research under Contract Number N00014-70-A-0362-0005. Working Papers are informal papers intended for internal use.The purpose of this short document is to exhibit how a HACKER-like top-down planning and debugging system can be applied to the problem of the design and debugging of simple analog electronic circuits. I believe, and I hope to establish, that this kind of processing goes on at all levels of the problem-solving process--from specific, concrete applications, like Electronic...
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Compute...
High-level synthesis (HLS) is a rapidly growing design methodology that allows designers to create d...
With the growing size of modern integrated circuit designs, automated design tools have taken an imp...
This report outlines the problem of intelligent failure recovery in a problem-solver for electrica...
Work reported herein was conducted at the Artificial Intelligence Laboratory, a Massachusetts Instit...
There are many ways to find bugs in programs. For example, observed input and output values can be c...
Electronic devices make up a vital part of our lives. These are seen from mobiles, laptops, computer...
This thesis describes two programs for generating tests for digital circuits that exploit several ...
The focus of this project was on characterizing and assessing design problem solving in the area of ...
The relentless growth in size and complexity of semiconductor devices over the last decades continue...
This report is concerned with the problem of achieving flexibility (additivity, modularity) and effi...
Electronic devices have come to permeate every aspect of our daily lives, and at the heart of each d...
Analog and digital design are subjects in the Electronic Engineering curricula. Being apparently si...
Contains a report on a research project.Lincoln Laboratory (Purchase Order B-00306)United States Arm...
Digital logic circuits are an essential part of any integrated system. However, they are susceptible...
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Compute...
High-level synthesis (HLS) is a rapidly growing design methodology that allows designers to create d...
With the growing size of modern integrated circuit designs, automated design tools have taken an imp...
This report outlines the problem of intelligent failure recovery in a problem-solver for electrica...
Work reported herein was conducted at the Artificial Intelligence Laboratory, a Massachusetts Instit...
There are many ways to find bugs in programs. For example, observed input and output values can be c...
Electronic devices make up a vital part of our lives. These are seen from mobiles, laptops, computer...
This thesis describes two programs for generating tests for digital circuits that exploit several ...
The focus of this project was on characterizing and assessing design problem solving in the area of ...
The relentless growth in size and complexity of semiconductor devices over the last decades continue...
This report is concerned with the problem of achieving flexibility (additivity, modularity) and effi...
Electronic devices have come to permeate every aspect of our daily lives, and at the heart of each d...
Analog and digital design are subjects in the Electronic Engineering curricula. Being apparently si...
Contains a report on a research project.Lincoln Laboratory (Purchase Order B-00306)United States Arm...
Digital logic circuits are an essential part of any integrated system. However, they are susceptible...
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Compute...
High-level synthesis (HLS) is a rapidly growing design methodology that allows designers to create d...
With the growing size of modern integrated circuit designs, automated design tools have taken an imp...