Asynchronous Circuits and Verification
|
Time Separation of Events:
Specification, synthesis, and verification of timed asynchronous
circuits.
Asynchronous Circuits:
Survey of current asynchronous design methodologies, as
well as the first FPGA for asynchronous circuits.
|
FPGAs and Rapid-Prototyping
|
Triptych/Montage FPGA Architectures:
Development of the Triptych and Montage FPGA
architectures, architectures with improved densities over current
commercial FPGAs.
Multi-FPGA Systems & Rapid-Prototyping:
Development of the Springbok Rapid-Prototyping System for
Board-Level Designs, as well as partitioning, pin assignment,
and routing topology work for general multi-FPGA systems.
Emerald - An Architecture-Adaptive Toolset for FPGAs:
A complete set of mapping, placement and routing tools
can be generated automatically from a description of an FPGA
architecture. Architecture-specific metrics can be incorporated
into the various tools to improve the results.
|
Embedded Systems
|
The Chinook Project:
A Hardware/Software Co-design, Co-synthesis, and Co-simulation
system for embedded applications.
|
Performance Optimization of Synchronous Circuits
|
Retiming Level-Clocked Circuits:
Efficient algorithms for retiming circuits that use
level-sensitive latches to improve performance, reduce cost, and
increase tolerance to clock skew.
Architectural Retiming:
Methods for improving the performance of synchronous
circuits that have latency or feedback contraints.
|
Network Router |
The Chaotic
Routing Project
|
Self-Tuned Systems
|
Self-tuned systems are directed by Ted Kehl
|