Our Activities


2014

23 June, 2014

On June, 1-5 researchers of the Software Engineering Department Mikhail Chupilko, Andrey Tatarnikov and Alexander Kamkin attended the Design Automation Conference held in San Fransisco, CA, USA. Their presentation on the University Booth was entitled “Connecting Approaches to Hardware Verification: C++TESK, MicroTESK, and Retrascope Toolkits” and it was "C++TESK Testing ToolKIt: Verification of IPs" on the IP Track.

More information is available here.

23 June, 2014

The 8th Spring/Summer Young Researcher’ Colloquium on Software Engineering (SYRCoSE 2014) was held in Saint Petersburg, Russia in May 29-31, 2014. The event was organized by Institute for System Programming of RAS, Saint-Petersburg State University, and Saint-Petersburg State Polytechnical University. It was supported by Intel, Google, and Russian Foundation for Basic Research.

Mikhail Chupilko and Alexander Protsenko presented the work “Simulation-based Hardware Verification Back-end: Diagnostics”. Andrei Tatarnikov and Artem Kotsynyak presented the work "A Generic Knowledgebase for Test Generation".

More information is available here.

31 March, 2014

Alexander Kamkin, Artyom Kotsynyak, and Andrey Tatarnikov took part at the DATE 2014 University Booth exhibition held in Dresden in 24-28 March. Their presentation entitled "MicroTESK: Reconfigurable Open-Source Framework for Test Program Generation" was dedicted to MicroTESK verification toolkit being still developed by our team.

More information about conference is available here.

2013

14 October, 2013

On October, 10-11 our team participated in Tools & Methods of Program Analysis conference took place in Kostroma, Russia. We presented the paper "Checking of HDL-model behavior correctness based on runtime trace matching" authored by V. Ivannikov, A. Kamkin, and M. Chupilko.

More information is available here.

13 June, 2013

On June, 2-6 researchers of the Software Engineering Department Mikhail Chupilko, Andrey Tatarnikov and Alexander Kamkin attended the University Booth at the Design Automation Conference held in Austin, TX, USA. They presented information on the following subject “C++TESK and MicroTESK Hardware Verification Toolkits”.

More information is available here.

13 June, 2013

The 7th Spring/Summer Young Researcher’ Colloquium on Software Engineering (SYRCoSE 2013) was held in Kazan, Russia in May 30-31, 2013. The event was organized by Institute for System Programming of RAS, Saint-Petersburg State University and Kazan National Research Technical University named after A.N. Tupolev (KNRTU-KAI), former Kazan Aviation Institute (KAI). It was supported by Intel, Russian Foundation for Basic Research and Nizhny Novgorod Foundation for Education and Research Assistance. 

Mikhail Chupilko, Alexander Protsenko made report on theme Recognition and Explanation of Incorrect Behavior in Simulation-Based Hardware Verification”.  Alexander Kamkin, Tatiana Sergeeva (Institute for System Programming of RAS), Andrei Tatarnikov and Artemiy Utekhin (Moscow State University) made report on theme MicroTESK: An Extendable Framework for Test Program Generation“.

More information is available here.

28 March, 2013

Alexander Kamkin and Andrey Tatarnikov took part at the DATE 2013 University Booth exhibition held in Grenoble in 19-21 March. Their presentation introducing MicroTESK which attracts interest of researchers and practitioners from different European countries.

MicroTESK, the test program generator being developed at ISPRAS, is a tool for generating test programs in assembly language for microprocessors. The main advantage of the solution over similar tools is that it offers a simple and flexible way to describe the target microprocessor architecture, thus,minimizing the effort needed to adapt the generator to changing designs. Light-weightformal specifications used to configure the generator for a particular design also serve as a source of knowledge about situations to be covered by functional tests. A convenient test template framework provided by MicroTESK allows specifying test cases in terms of test coverage goals based on knowledge extracted from formal specifications, which helps improve test coverage and reduce the effort required to create tests.

More information about conference is available here

28 March, 2013

We participated in the 8th Model-Based Testing Workshop held in Rome, Italy on the 19 of March. The workshop was associated with ETAPS conference and hosted by Sapienza University of Rome. We delivered one section report.

Mikhail Chupilko, Alexander Kamkin. Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces.

Further information is available here

2012

24 December, 2012

The 7th Spring/Summer Young Researcher’ Colloquium on Software Engineering (SYRCoSE 2013) will be held in Kazan, Russia in May 30-31, 2013. The event is organized by Institute for System Programming of RAS, Saint-Petersburg State University and Kazan National Research Technical University named after A.N. Tupolev (KNRTU-KAI), former Kazan Aviation Institute (KAI). It is supported by Intel, Russian Foundation for Basic Research and Nizhny Novgorod Foundation for Education and Research Assistance. We invite students, post-graduates and young PhDs (up to 35 years of age) to participate the colloquium. More information is available on http://syrcose.ispras.ru.

20 March, 2012

Mikhail Chupilko and Alexander Kamkin took part at the DATE 2012 University Booth exhibition held in Dresden in 13-15 March. Their presentation introducing C++TESK, a C++ based toolkit for simulation-based hardware verification, raised interest of researchers and practitioners from different European countries including Austria, Estonia, Germany, Netherlands, Sweden, etc.

For more information about conference see here.

DATE 2012 

 28 February, 2012

We are going to present our current work at DATE Conference's University Booth which will take place in Dresden, Germany on 12-16 March, 2012.
The topic will be C++TESK Testing ToolKit. We hope to share our results with people working in the sphere of verification or connected with it.

If you liked to communicate with us, you could easily do it there just having found the place P07 of the UBooth Exhibition on Tuesday, March 13 (10:30-12:30) or on Wednesday, March 14 (12:30-14:30).

For more information about conference see here

2011

 29 October, 2011

Our group took part in 22th IT&Computers annual international exhibition Softool 2011 on October 25-28 in All-Russian Exhibition Centre, Exhibition Hall №69, place E47. С++TESK test development tool was presented. 

C++TESK is an open-source C++based tool intended for automated functional testing of RTL models of digital hardware. The main part of the tool is a library of classes and macros that define  facilities for constructing reference models of hardware, adapters of RTL models, test scenarios and test coverage metrics. Basing on C++ descriptions provided by a user, a testbench is compiled; it allows automatically generating and applying sequences of stimuli to the component under test, checking correctness of its reactions and collecting statistics on test execution. Besides the basic library, the tool includes a test report generator and a means for parallelizing test execution on computer clusters. 

Further information is available at the link: http://forge.ispras.ru/projects/cpptesk-toolkit.

 13 September, 2011

We participated in the 9th East-West Design and Test Symposium held in Sevastopol, Ukraine on 9-12 September, 2011 and organized by Kharkov National University of Radioelectronics. The symposium was hosted by Aquamarine hotel. We delivered one invited talk and one section report.

Alexander Kamkin. Simulation-Based Hardware Verification with Time-Abstract Models.

Mikhail Chupilko. C++TESK-SystemVerilog united approach to simulation-based verification of hardware designs.

Further information is available at the following link: http://ewdtest.com/conf/

28 July, 2011

Our group took part in Microsoft Summer School in Software Engineering and Verification 2011 (SSSEV'2011) held in Moscow on 17-27 July, 2011 and organized by Microsoft Research Rus and National Research University Higher School of Economics. We supplied school with a guest lecturer:

Alexander Kamkin. Time Abstraction in Simulation-Based Hardware Verification.

Also one of us was selected by the program commitee as a student.

Further information is available here: http://research.microsoft.com/en-us/um/redmond/events/SSSEV2011/.

6 June, 2011

We participated in Centre of Research Excellence in Dependable Embedded Systems' (CREDES) Summer School on Dependable Systems Design which took place in Tallinn University of Technology, Estonia on June 2-3, 2011. More information is available on the following link: http://credes.ttu.ee.

This activity allows us to learn state-of-the-art approaches in testing and verification of hardware designs and use this knowledge in our work.

19 May, 2011

After releasing C++TESK Testing ToolKit, we developed a training coarse which makes it possible for the students to learn more about this toolkit, maintain test systems designed with its help, and develop new test systems as well.

There are two kinds of this training: online and offline (when all the students and teachers are gathering together at ISPRAS or some other place).

Both kinds have been verified and now they are available for the customers. For further information, please, contact us.

16 May, 2011

We participated in the 5th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE) held in Yekaterinburg, Russia on May 12-13, 2011. The colloquium was hosted by Ural State University named after A.M.Gorky (USU).

M. Chupilko. Developing Test Systems for Multi-Modules Hardware Designs.

15 April, 2011

The first version of C++TESK Testing ToolKit has been released.

The toolkit includes С++TESK (development formal specifcations and test scenarios by means of C++ language), C++TESK Hardware Edition (development reference models of digital hardware by means of C++ language), CTESK (automated generation of test sequencies based on automaton representation), Distributed FSM (test paralleling on computer clusters) и Aspectrace (trace making and report generation).

C++TESK Testing ToolKit can be downloaded from the following address http://forge.ispras.ru/projects/cpptesk-toolkit/files.

25 March, 2011

We took part in A-MOST (Workshop on Advances in Model-Based Testing) and ICST (International Conference on Software Testing) held in Berlin, Germany on March 20-25, 2011. More information on the event is available on the ICST web-site.

A.Kamkin, E.Kornykhin, and D.Vorobyev. Reconfigurable Model-Based Test Program Generator for Microprocessors.

2010

10 October, 2010

Our group took part in the 12th Biennial Baltic Electronics Conference (BEC 2010) held in Tallinn, Estonia on October 4-6, 2010. The event was organized by Tallinn University of Technology. It took place at Tallinn SWISSOTEL Conference Centre.

M.Chupilko, A.Kamkin. Developing cycle-accurate contract specifications for synchronous parallel-pipeline hardware: application to verification.

22 September, 2010

We participated in the 8th IEEE East-West Design & Test Symposium (EWDTS 2010) held in Saint Petersburg, Russia on September 17-20, 2010. The symposium was hosted by St. Petersburg State Electrotechnical University “LETI” (ETU).

M. Chupilko. Models of Synchronous Hardware Designs Based on FSM at Different Abstraction Levels: Application to Functional Verification.

A. Kamkin. CTestBench: A Lightweight C-Based Tool for Specification and Functional Verification of Hardware Designs.

4 June, 2010

We participated in the 4th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE) held in Nizhny Novgorod, Russia on June 1-2, 2010. The colloquium was hosted by Lobachevsky State University of Nizhny Novgorod and Higher School of Economics (Nizhny Novgorod branch).

M. Chupilko, A. Kamkin. Contract Specification of Hardware Designs at Different Abstraction Levels: Application to Functional Verification.

A. Kamkin, D. Vorobyev. An Approach to Test Programs Generation for Microprocessors Based on Pipeline Hazards Templates.

30 April, 2010

We participated in the 17th Scientific and Technical Conference "Microelectronics and Informatics" arranged by Moscow Institute of Electronic Technology in Zelenograd, Moscow, April 28-30, 2010:

M. Chupilko. A method of FSM application for system-level testing of hardware designs. (in Russian)

19 April, 2010

A joint seminar of the microprocessor verification group of the Institute for System Programming (ISPRAS) and the department "Modeling and verification" of ZAO "MCST" was held on 19 April, 2010.

At the seminar, the results of the experimental-design project for developing a test system for an HDL-model of a data box device (northbridge data commutator), which had been customly done by the ISPRAS's specialists for ZAO "MCST", were presented and discussed. The goal of the project was to estimate facilities of the UniTESK verification method with regard to its usage in ZAO "MCST" projects on developing new-generation Russian high-performance microprocessors.

А.S.Kamkin and M.M.Chupilko considered a full test system development cycle beginning from requirements analysis and specification development in terms of pre- and post-conditions and ending with creation and execution of test scenarios. Each step was illustrated by the examples derived from the project. When discussing the presentation, much prominence was given to estimation of functional coverage being achieved by test scenarios and to possible solutions to improve some phases of test system development process.

The UniTESK verification methods are planned to be used in future ZAO "MCST" projects.

2009

21 September, 2009

We participated in the 7th IEEE East-West Design & Test Symposium (EWDTS) held in Moscow, Russia on September 18-21, 2009. The symposium was hosted by Moscow Institute of Electronics and Mathematics (MIEM).

A. Kamkin. MicroTESK: Automation of Test Program Generation for Microprocessors.
S. Frenkel (IPI RAN), A. Kamkin. Verification Methodology Based on Algorithmic State Machines and Cycle-Accurate Contract Specifications.
M. Chupilko. Constructing Test Sequences for Hardware Designs with Parallel Starting Operations using Implicit FSM Models.

3 July, 2009

Our group will participate in organization of the 7th IEEE East-West Design & Test Symposium (EWDTS), which will be held in Moscow, Russia on September 18-21, 2009.

The main target of EWDTS is to exchange experiences in the field of design automation and testing of electronic circuits and systems between the technologists and scientists from Eastern and Western Europe as well as North America and other parts of the world.

See more on the EWDTS web-site.

20 June, 2009

Contract-based approach to hardware models testing was presented at Joint Workshop of Microsoft Research and Institute for System Programming of RAS (ISPRAS) held in Moscow, June 19-20, 2009:

A. Kamkin. Using Cycle-Accurate Contract Specifications for Testing Hardware Models.

5 June, 2009

Our approach to hardware verification was presented at Ph.D. Summer Video School on Scientific Computing organized by Waterford Institute of Technology (Ireland) in cooperation with Moscow State University (Russia), Saint Petersburg State University (Russia), and other famous institutes and universities. We made the following talks:

Prof. A.K. Petrenko. Formal Testing of Hardware Designs.
E. Kornikhin. SMT-based Test Program Generation for Cache Memory.
M. Chupilko. Using Cycle-Accurate Specifications for Testing of Hardware Designs.

24 April, 2009

We participated in the 16th Scientific and Technical Conference "Microelectronics and Informatics" arranged by Moscow Institute of Electronic Technology in Zelenograd, Moscow, April 22-24, 2009:

D. Vorobyev. Extending the UniTESK Technology by Means of Structural Test Generation. (in Russian)
E. Korniknin. TESLA - System of Test Data Generation for Core-Level Functional Testing of Microprocessors. (in Russian)
M. Chupilko. Using Transaction-Level Modeling for Testing Hardware Models. (in Russian)

24 February, 2009

Site Cross-Tool Development and Verification of Hardware Designs of Institute for System Programming of RAS (ISPRAS) is opened (but still under construction).

The goal of the site is to consolidate and structure different information on ISPRAS research, services and tools in hardware related area.