Automated Development of Test Program Generators for Microprocessors on the Example of MIPS | CEE-SECR 2016 Automated Development of Test Program Generators for Microprocessors on the Example of MIPS – CEE-SECR 2016
2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005

Presentations

Automated Development of Test Program Generators for Microprocessors on the Example of MIPS

We present a technology for creating test program generators for microprocessors and share our 10-years experience in that area. The technology is described on the example of MIPS, being, however, applicable to a wide range of computer architectures. We believe that our experience is of interest to people from the microprocessor design industry and also to system programmers.

Alexander Kamkin

Alexander Kamkin

Leading Researcher, ISP RAS

Alexander Kamkin graduated from CMC MSU in 2003 and defended a PhD thesis at ISP RAS in 2009. Now he is a leading researcher at ISP RAS (specializing in microprocessor verification) and a manager of the MicroTESK project.

Comment

Your email address will not be published. Required fields are marked *

*

Gold

Deutsche Bank Technology CentreJetBrainsSAPFirst Line Software

Silver

Dell Technologies

Embedded

Auriga

Sponsors

T-SystemsKaspersky Lab

Main partners

RUSSOFTAP KITSECON

In cooperation

Association for Computing MachineryACM Special Interest Group on Software Engineering

Technical partners

Hosting-CenterVirtuozzoSoftInvent7pap StudioPrint SalonGroup MPrezent.ru

With support of

RAEC

Organizers

Software Russiai-Help

The conference is over
See you at CEE-SECR 2017!

Special prices for the hotels and visa support are offered to the conference guests.