BIST testability enhancement using high level test synthesis for behavioral and structural designs. - Kowen Lai; Christos A. Papachristou; Mikhail Baklashov (Asian Test Symposium, 1997)

A test synthesis technique using redundant register transfers. - Christos A. Papachristou; Mikhail Baklashov (ICCAD, 1997)

High Level Test Synthesis Across the Boundary of Behavioral and Structural Domains. - Kowen Lai; Christos A. Papachristou; Mikhail Baklashov (ICCD, 1997)

High-Level Test Synthesis for Behavioral and Structural Designs. - Christos A. Papachristou; Mikhail Baklashov; Kowen Lai (J. Electron. Test., 1998)

An on-line memory state validation using shadow memory cloning. - Mikhail Baklashov (IOLTS, 2011)

Event-driven on-line co-simulation with fault diagnostic. - Mikhail Baklashov (IOLTS, 2012)