4
Publications
109
Citations
4
H-Index
1999
Active since
Affiliations
S. Ostanin is an author at National Research Tomsk State University specializing in formal methods, formal verification, and engineering.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationComputer EngineeringHardware SecurityAsynchronous CircuitsComputer ArchitectureNetwork Analysis
Publications per year
1999–2017
4
4
Self‐checking Synchronous FSM Network Design with Low Overhead
A. Matrosova, Ilya Levin, S. Ostanin · VLSI design · 1999 · 59 citations · Full text
Survivable self-checking sequential circuits
Ilya Levin, A. Matrosova, S. Ostanin · 2002 · 20 citations
Self-checking FSM design with observing only FSM outputs
A. Matrosova, S. Ostanin · 2002 · 10 citations
Rows per page
1–4 of 4