H.-K.T. Ma

Test generation for sequential circuits

H.-K.T. Ma, Srinivas Devadas, A. Richard Newton et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1988 · 203 citations

Engineering, Computer Engineering, Computer Science +12

A synthesis and optimization procedure for fully and easily testable sequential machines

Srinivas Devadas, H.-K.T. Ma, A. Richard Newton et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1989 · 94 citations

Engineering, Computer Engineering, Computer Science +17

On the verification of sequential machines at differing levels of abstraction

Srinivas Devadas, H.-K.T. Ma, A. Richard Newton · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1988 · 85 citations

Computing, Computer Engineering, Computer Science +16

Irredundant sequential machines via optimal logic synthesis

Srinivas Devadas, H.-K.T. Ma, A. Richard Newton et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1990 · 81 citations

Engineering, Computer Engineering, Computer Science +17

An incomplete scan design approach to test generation for sequential machines

H.-K.T. Ma, Srinivas Devadas, A. Richard Newton et al. · 2003 · 71 citations

Engineering, Computer Engineering, Computer Science +15