Sergey Smolov
Sergey Smolov- Email: smolov@ispras.ru
- Registered on: 03/30/2011
- Last connection: 06/15/2018
Issues
- Assigned issues: 30
- Reported issues: 429
Projects
- VeriTool (Developer, 04/04/2011)
- C++TESK Testing ToolKit (Developer, 07/19/2011)
- ะก++TESK Development Environment (Manager, Developer, 09/07/2011)
- Retrascope (Manager, Developer, 04/12/2012)
- MicroTESK (Developer, 08/27/2012)
- Fortress (Developer, 09/19/2012)
- MicroTESK Training Course (Developer, 10/03/2013)
- TestBase (Developer, 02/25/2014)
- Retrascope IDE (Manager, Developer, 05/16/2014)
- Java SoftFloat (Reporter, 10/03/2014)
- QEMU for ARMv8 (Manager, Developer, 06/19/2015)
- Trace Matcher (Manager, Developer, 11/01/2016)
- MicroTESK for RISC-V (Manager, Developer, Project Creator, 11/02/2017)
- QEMU for RISC-V (Manager, Developer, Project Creator, 11/02/2017)
- Retrascope MC Benchmark (Manager, Developer, 03/28/2018)
- QEMU4V (Manager, Project Creator, 05/14/2018)
- MicroTESK for MIPS64 (Developer, 05/17/2018)
Activity
06/18/2018
- 06:17 PM Retrascope Revision aa4f4fde (retrascope): refactoring
- Signed-off-by: Sergey Smolov <smolov@ispras.ru>
06/15/2018
- 02:01 PM Retrascope Revision 84334b2d (retrascope): [verilog][cfg] fix SELECT elaboration
- Signed-off-by: Sergey Smolov <smolov@ispras.ru>
06/01/2018
- 05:34 PM Retrascope Bug #8912 (New): file ram.smv: line 332: variable is assigned more than once: m_ram.mem0
- The nuXmv model checker fails to elaborate designs that assign same variable in different processes.
See ram.v & fif...
05/31/2018
- 03:01 PM Retrascope Revision 4dbba63e (retrascope): refactoring
- Signed-off-by: Sergey Smolov <smolov@ispras.ru>
- 12:59 PM Retrascope Revision 9867b26e (retrascope): refactoring
- Signed-off-by: Sergey Smolov <smolov@ispras.ru>
- 12:17 PM Retrascope Revision a94cb663 (retrascope): refactoring
- Signed-off-by: Sergey Smolov <smolov@ispras.ru>
- 11:57 AM Retrascope Revision 6c505993 (retrascope): [test] logging methods usage
- Signed-off-by: Sergey Smolov <smolov@ispras.ru>
05/30/2018
- 12:15 PM Retrascope Revision 31ebb971 (retrascope): fix logging method usages
- Signed-off-by: Sergey Smolov <smolov@ispras.ru>
05/29/2018
- 06:35 PM Retrascope Revision ed7546f4 (retrascope): [test] fix EFSM ref stats
- Signed-off-by: Sergey Smolov <smolov@ispras.ru>
- 02:45 PM Retrascope Revision dc278342 (retrascope): fix logging methods usage
- Signed-off-by: Sergey Smolov <smolov@ispras.ru>
Also available in: Atom