Publications


The page contains our publications at conference proceedings and journals. The list is incomplete and constantly supplemented.

2014

  1. A. Kamkin, A. Kotsynyak, S. Smolov, A. Sortov, A. Tatarnikov, and M. Chupilko. Tools for Functional Verification of Microprocessors. Proceedings of Institute for System Programming of RAS, volume 26(1), pp. 149-200. (in Russian)
  2. A. Kamkin, T. Sergeeva, S. Smolov, A. Tatarnikov, and M. Chupilko. Extensible environment for test program generation for microprocessors. Programming and Computer Software, volume 40(1), pp. 1-9, 2014

2013

  1. M. Chupilko, A. Kamkin. Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces. Proceedings of Model-based testing Workshop (MBT-2013), pp. 67-81.
  2. A. Kamkin, S. Smolov, I. Melnichenko. Static Analysis of HDL Description: Extracting Models for Verification. Proceedings of EWDTS-2013, pp.1-4.
  3. A. Kamkin, T. Sergeeva, A. Tatarnikov, A. Utekhin. MicroTESK: An Extensible Framework for Test Program Generation. Proceedings of SYRCoSE-2013, pp 51-57.
  4. Chupilko M., Protsenko A. Recognition and explanation of incorrect behavior in simulation-based hardware verification. Proceedings of SYRCoSE-2013, pp. 25-30.
  5. V. Ivannikov, A. Kamkin, and M. Chupilko. Checking of HDL-model behavior correctness based on runtime trace matching. Proceedings of TMPA-2013, pp. 71-82. (in Russian)

2012

  1. M. Chupilko. Developing test systems for multi-module hardware designs. Programming and Computer Software, volume 38(1), pp. 34-42.
  2. A. Kamkin, A. Tatarnikov. MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors. Proceedings of SYRCoSE-2012, pp. 64-69.

2011

  1. M. Chupilko, A. Kamkin. A TLM-based approach to functional verification of hardware components at different abstraction levels. Proceedings of LATW-2011, pp. 1-4.
  2. A. Kamkin, M. Chupilko. Survey of modern technologies of simulation-based verification of hardware. Programming and Computer Software, volume 37(3), pp. 147-152.
  3. A. Kamkin, M. Chupilko. Support mechanisms for functional testing of hardware models at different levels of abstraction. Proceedings of Institute for System Programming of RAS, volume 20, pp. 143-160. (in Russian)
  4. M. Chupilko. Developing test systems for multi-modules hardware designs. Proceedings of SYRCoSE-2011. pp. 111-116.
  5. A. Kamkin. Simulation-Based Verification with Time-Abstract Models. Proceedings of EWDTS-2011.
  6. M. Chupilko. C++TESK-SystemVerilog united approach to simulation-based verification of hardware designs. Proceedings of EWDTS-2011, pp. 136-139.
  7. A. Kamkin, E. Kornikhin, and D. Vorobyev. Reconfigurable Model-Based Test Program Generator for Microprocessors. Proceedings of the 7th Workshop on Advances in Model Based Testing, 2011.

2010

  1. M. Chupilko, A. Kamkin. Developing cycle-accurate contract specifications for synchronous parallel-pipeline hardware: application to verification. Proceedings of the 12th Biennial Baltic Electronics Conference (BEC 2010), pp. 185-188.
  2. E. Kornykhin. Mirror-based method of constraints generation for test programs generation by test templates. Proceedings of Institute for System Programming RAS, 2010. (in Russian)
  3. D. Vorobyev, A. Kamkin. Test Programs Generation for Microprocessors Based on Pipeline Hazards Templates. Proceedings of Institute for System Programming RAS, 2010. (in Russian)
  4. M. Chupilko. Formal specifications-based automation of system testing of hardware designs. Proceedings of Institute for System Programming RAS, 2010. (in Russian)
  5. A. Kamkin. Some issues of automation of test program generation for branch units of microprocessors. Proceedings of Institute for System Programming RAS, 2010. (in Russian)
  6. A. Kamkin. Microrpocessor Verification. Combating Errors and Quality Control. Electronics: Science, Technology, Business, №3, 2010, С. 98-104. (in Russian)
  7. M. Chupilko and A. Kamkin Contract Specifiaction of Hardware Designs at Different Abstraction Levels: Application to Functional Verification. Proceedings of SYRCoSE-2010, pp. 125-129.
  8. A. Kamkin and D. Vorobyev An Approach to Test Programs Generation for Microprocessors Based on Pipeline Hazards Templates. Proceedings of SYRCoSE 2010 pp. 130-135.
  9. M. Chupilko. Models of Synchronous Hardware Designs Based on FSM at Different Abstraction Levels: Application to Functional Verification. Proceedings of EWDTS-2010, pp.127-130.
  10. A. Kamkin. CTestBench: A Lightweight C-Based Tool for Specification and Functional Verification of Hardware Designs. Proceedings of EWDTS-2010.

2009

  1. M. Chupilko, A. Kamkin. Specification-Driven Testbench Development for Synchronous Parallel-Pipeline Designs. Proceedings of NORCHIP, 2009.
  2. A. Kamkin. Specification-Driven Construction of Testbench Checkers for RTL Models of Synchronous Parallel-Pipeline Hardware. Proceedings of RTL and High-Level Testing Workshop, 2009.
  3. D. Vorobyev, A. Kamkin. Test Program Generation for Memory Management Units of Microprocessors. Proceedings of Institute for System Programming of RAS, 2009. (in Russian)
  4. Y. Gubenko, A. Kamkin, M. Chupilko. Comparative Analysis of Modern Technologies of Test Development for Hardware Models. Proceedings of Institute for System Programming of RAS, 2009. (in Russian)
  5. A. Kamkin. MicroTESK: Automation of Test Program Generation for Microprocessors. Proceedings of EWDTS-2009.
  6. S. Frenkel (IPI RAN), A. Kamkin. Verification Methodology Based on Algorithmic State Machines and Cycle-Accurate Contract Specifications. Proceedings of EWDTS-2009.
  7. M. Chupilko. Constructing Test Sequences for Hardware Designs with Parallel Starting Operations using Implicit FSM Models. Proceedings of EWDTS-2009, pp. 393-396.

2008

  1. A. Kamkin. Combinatorial Model-Based Test Program Generation for Microprocessors. Preprint 21 of Institute for System Programming of RAS, 2008. (in Russian)
  2. A. Kamkin. Combinatorial Model-Based Test Program Generation for Microprocessors. Preprint 21, Institute for System Programming of RAS, 2008. (translation from Russian)
  3. A. Kamkin, M. Chupilko. Testing Floating-Point Units of Microprocessors for IEEE 754 Standard Compliance. Proceedings of Institute for System Programming of RAS, 2008. (in Russian)
  4. A. Kamkin. Test Program Generation for Microprocessors. Proceedings of Institute for System Programming of RAS, 2008. (in Russian)
  5. M. Chupilko, A. Kamkin, D. Vorobyev. Methodology and Experience of Simulation-Based Verification of Microprocessor Units Based on Cycle-Accurate Contract Specifications. Proceedings of SYRCoSE-2008.
  6. A. Kamkin. Coverage-Directed Verification of Microprocessor Units Based on Cycle-Accurate Contract Specifications. Proceedings of EWDTS-2008.

2007

  1. A. Kamkin. Testbench Automation for Pipelined Designs Based on Contract Specifications. Proceedings of EWDTS-2007.
  2. V. Ivannikov, A. Kamkin, A. Kossatchev, V. Kuliamin, A. Petrenko. The Use of Contract Specifications for Representing Requirements and for Functional Testing of Hardware Models. Programming and Computer Software 33(5), 2007.
  3. A. Kamkin. The Use of Contract Specifications for Automation of Hardware Models Testing. Institute for System Programming of RAS, 2007. (in Russian)
  4. S. Aryashev, A. Kamkin, B. Rogatkin. Testing RTL Models of Hardware with the Help of UniTESK Technology by Example of Translation Lookaside Buffer of Microprocessor. Electronics, Micro- and Nano-Electronics, 2007. (in Russian)
  5. A. Kamkin. Contract Specification of Pipelined Designs: Application to Testbench Automation. Proceedings of SYRCoSE-2007.
  6. V. Rubanov. Dynamic Support of Processor Extensions in Cross Development Tools. Proceedings of SYRCoSE-2007.

2006

  1. A. Kamkin. The UniTESK Approach to Specification-Based Validation of Hardware Designs. International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006.
  2. A. Kamkin. Testing in Incomplete Information. Approach to Specification Development and to Test Generation. Institute for System Programming of RAS, 2006. (in Russian)

2005

  1. V. Ivannikov, A. Kamkin, V. Kuliamin, A. Petrenko. Application of UniTESK Technology to Functional Testing of Hardware Models. Preprint 8, Institute for System Programming of RAS, 2005. (in Russian)