Sergey A. Ostanin

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Automatic Analysis

Detection Method

False Positives

Top Venues

Autom. Remote. Control.

Publications

Anzhela Yu. Matrosova, Sergey A. Ostanin, Virendra Singh
Detection of false paths in logical circuits by joint analysis of the AND/OR trees and SSBDD-graphs. Autom. Remote. Control. 74 (7) (2013)