Optimization of real-time systems timing specifications

by Andrei, Ş., Cheng, A.M.K.
Published 2013

Faster verification of RTL-specified systems via decomposition and constraint extension

by Andrei, Ş., Cheng, A.M.K.
Published 2013

Systematic debugging of real-time systems based on incremental satisfiability counting

by Andrei, Ş., Chin, W.-N., Cheng, A.M.K., Lupu, M.
Published 2013

Runtime-coordinated scalable incremental checksum testing of combinational circuits

by Andrei, Ş., Chin, W.-N., Cheng, A.M.K., Zhu, Y.
Published 2013

Automatic debugging of real-time systems based on incremental satisfiability counting

by Andrei, Ş., Chin, W.N., Cheng, A.M.K., Lupu, M.
Published 2013