Ivannikov Institute for System Programming of the RAS

Recognition and interpretation of incorrect behavior in simulation-based hardware verification.


A.S. Protsenko, M.M. Chupilko


Simulation-based hardware verification implies checking whether behavior of simulated HDL-model corresponds to its specifications. To present specifications in a required form and to ensure correctness checking is possible in different ways, nevertheless, revealed incorrect behavior usually only states the fact of some wrong data on outputs of HDL-model. Presented in the paper approach is aimed not only to detect incorrect behavior of HDL-model, but also to interpretation of output data by means of special algorithm based on data analysis rules.

Full text of the paper in pdf (in Russian)


trace analysis, simulation-based verification


Problems of development of perspective micro- and nanoelectronics systems – 2014. Proceedings of the conference / under general edition of the academician of RAS A.L. Stempkovsky. M.: IPPM RAS, 2014. Part II. pp. 91-96.

Research Group

All publications during 2014 All publications