General

Profile

Sergey Smolov

Issues

Projects

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