General

Profile

Mikhail Lebedev

Issues

Projects

Activity

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. Some refactoring.
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 without reset.
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 blocking added.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>

Also available in: Atom