Mikhail Lebedev
Mikhail Lebedev- Email: lebedev@ispras.ru
- Registered on: 10/10/2012
- Last connection: 09/25/2018
Issues
- Assigned issues: 13
- Reported issues: 26
Projects
- Retrascope (Developer, 10/10/2012)
- Fortress (Developer, 12/05/2012)
- Retrascope RISC-V Benchmark (Developer, 12/19/2018)
- Retrascope IDE (Developer, 05/16/2014)
- MicroTESK (Developer, 10/16/2017)
- Retrascope MC Benchmark (Developer, 03/28/2018)
- QEMU4V (Developer, 05/15/2018)
Activity
02/11/2019
- 01:46 PM Retrascope Revision baaa9c7e (retrascope): [smv] array & version support added to gadd-formula visitor
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
- 01:46 PM Retrascope Revision 2ef56e3a (retrascope): [smv] cgaa -> gadd
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
- 01:46 PM Retrascope Revision 640c82de (retrascope): [smv] formula-based visitor refactoring: phase connection improved
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
- 01:46 PM Retrascope Revision 93a66c95 (retrascope): formula_example Verilog module & some tests added
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
- 01:46 PM Retrascope Revision 2aea0082 (retrascope): [smv] formula-based visitor debug
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
- 01:46 PM Retrascope Revision 2ffc2b6c (retrascope): [smv] formula-based visitor testing
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
- 01:46 PM Retrascope Revision d785a9a6 (retrascope): [smv] some smv tests refactoring
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
- 01:46 PM Retrascope Revision f4e436f9 (retrascope): [smv] formula-based representation development; some refactoring, comments added
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
- 01:46 PM Retrascope Revision 3157817e (retrascope): [smv] formula-based representation: hierarchical blocks added
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
- 01:46 PM Retrascope Revision 1ec8d01a (retrascope): [smv] formula representation development (continued)
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
Also available in: Atom