Mikhail Lebedev

  • Email:
  • Registered on: 10/10/2012
  • Last connection: 08/09/2017

Projects

Activity

Reported issues: 12

11/01/2017

02:08 pm Retrascope Task #6472 (Resolved): b13.vhd: too long elaboration time

10/27/2017

03:16 pm Retrascope Revision c01b8646 (retrascope): Merge branch 'master' of https://forge.ispras.ru/git/retrascope
02:14 pm Retrascope Revision 867b1809 (retrascope): Some refactoring.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
01:47 pm Retrascope Revision f3ffecbd (retrascope): Merge branch 'master' of https://forge.ispras.ru/git/retrascope
01:07 pm Retrascope Revision 47ccb221 (retrascope): [smv] Some debug.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
01:07 pm Retrascope Revision 96b36217 (retrascope): [smv] Smv printer debug.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>

10/12/2017

02:41 pm Retrascope Revision c496f507 (retrascope): [smv] Default BMC bound set to 1. Checkstyle warnings fixed.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>

10/11/2017

05:36 pm Retrascope Revision a8f958cd (retrascope): [smv] Variable bound value BMC command file generation added. Som...
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>

10/10/2017

05:06 pm Retrascope Revision cfa0c55c (retrascope): [smv] Multi-process: resets added to assertions of processes with...
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>

10/09/2017

07:17 pm Retrascope Revision 8b67b4cf (retrascope): [smv] Multi-process design clock definition added. Process blocki...
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>

Also available in: Atom