Next: Development of Educational
Up: Projects
Previous: Algebra Methods in
- Alex Yu. Kondratyev,
- Associate Professor, Computer Architecture Laboratory
- The formal methods of synthesis for speed-independent circuit were
investigated. The idea of monotonous cover implementation was suggested to
get the hazard-free circuits.
- The technique of efficient verification of asynchronous circuits based
on unfoldings was improved. The software system for the verification was
developed and integrated to the SIS tool (Univ. California, Berkeley).
Unfolding's approach was supplemented by the BDD-traversal technique for
analysis of speed-independent circuits.
- The general framework for the description of the processes with different
kinds of causality was suggested. The present models has been shown to have
lack of means to express the OR-causality phenomenon.
- The general architecture for hardware implementation of texture mapping
algorithms was developed.