Alexander Konrad
- Login: konrad
- Registered on: 11/16/2019
- Last sign in: 10/23/2025
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 0 | 0 | 0 |
| Reported issues | 0 | 0 | 0 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| Arithmetikverifikation | Manager, Developer | 03/19/2021 |
| Retiming Verification using IC3 | Manager | 09/15/2025 |
| SCA | Manager, Developer, User | 11/16/2019 |
Activity
12/20/2021
-
06:47 PM SCA Dividierer_Generatoren_und_Benchmarks.zip
05/19/2020
-
11/29/2019
-
- Minimales Polynompaket mit Anwendungsbeispielen
Also available in: Atom