Recognition and interpretation of incorrect behavior in simulation-based hardware verification.
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)
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.