Dmitri Mironov

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Fault Detection

Classical Logic

Heuristic Search

Top Venues

Publications

Raimund Ubar, Dmitri Mironov
Lower bounds of the size of Shared Structurally Synthesized BDDs. DDECS (2014)
Dmitri Mironov, Raimund Ubar, Jaan Raik
Logic simulation and fault collapsing with shared structurally synthesized bdds. ETS (2014)
Raimund Ubar, Mihhail Marenkov, Dmitri Mironov, Vladimir Viies
Modeling sequential circuits with shared structurally synthesized BDDs. IDT (2014)
Georgiy Kirillin, Johannes Hochschild, Dmitri Mironov, Arkady Terzhevik, Sergey Golosov, Gunnar Nützmann
FLake-Global: Online lake model with worldwide coverage. Environ. Model. Softw. 26 (5) (2011)
Raimund Ubar, Dmitri Mironov, Jaan Raik, Artur Jutman
Fault collapsing with linear complexity in digital circuits. ISCAS (2010)
Dmitri Mironov, Raimund Ubar, Sergei Devadze, Jaan Raik, Artur Jutman
Structurally Synthesized Multiple Input BDDs for Speeding Up Logic-Level Simulation of Digital Circuits. DSD (2010)
Raimund Ubar, Dmitri Mironov, Jaan Raik, Artur Jutman
Structural fault collapsing by superposition of BDDs for test generation in digital circuits. ISQED (2010)
Raimund Ubar, Dmitri Mironov, Jaan Raik, Artur Jutman
Structurally synthesized multiple input BDDs for simulation of digital circuits. ICECS (2009)