A. D. Tatarnikov

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Development of test programs and analysis of the results of their execution is the basic approach to verification of microprocessors at the system level. There is a variety of methods for the automation of test generation, starting with the generation of random code and ending with directed model-based test generation. However, there is no cure-all method.(More)
  • 1