VALSE-XT
| project staff
| cooperation partners
| project description | contact
|
| Chair of Computer Architecture | |
| Bernd Becker, Prof. Dr. | |
|
| |
| Chair of Operating Systems | |
The goal of VALSE-XT is an integrated solution for SoC verification. For more details see also [hier]. The group of Computer Architecture within this project in particular deals with "Intelligent Debugging for Sequential Equivalence Checking".