Presenting The REDESIGN System
[
Intro
]
[
01-slide
]
[
02-slide
]
[
03-slide
]
[ 04-slide ]
[
05-slide
]
[
06-slide
]
[
07-slide
]
[
08-slide
]
[
09-slide
]
[
10-slide-text
]
[
10-slide
]
[
11-slide
]
[
12-slide
]
[
Up: Presentations
]
CRITTER
Provides Causal Reasoning
Circuit simulation
Propagates signals, tests specifications
Maintains dependency network - Maps
specification
source
data stream (signals)
by:
Keith A. Pray
Last Modified: August 14, 2004 6:12 PM
© 2004 - 1975 Keith A. Pray.
All rights reserved.