|
|
-
Formal Methods in System Design and Verification.
We did some experimenting with formal methods to
verify our models. This other project, currently focusing on verification
of hardware designs, has experts in the area.
- The Impulse project's goal
is to build an adaptable main memory
controller (AMMC) that will significantly increase processor cache and
system memory bus utilization. Several Flux faculty (Carter, Wilson)
are also associated with the Impulse project.
|