Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Subject "temporal reasoning"
Now showing items 1-2 of 2
-
Functional Abstraction From Structure in VLSI Simulation Models
(1987-05-01)High-level functional (or behavioral) simulation models are difficult, time-consuming, and expensive to develop. We report on a method for automatically generating the program code for a high-level functional simulation ...
-
A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits
(1987-05-01)We put forth a multiple representation approach to deriving the behavioral model of a digital circuit automatically from its structure and the behavioral simulation models of its components. One representation supports ...