Optimization of real-time systems timing specifications

由 Andrei, Ş., Cheng, A.M.K.
出版 2013

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

由 Andrei, Ş., Cheng, A.M.K.
出版 2013

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

由 Andrei, Ş., Chin, W.-N., Cheng, A.M.K., Lupu, M.
出版 2013

Runtime-coordinated scalable incremental checksum testing of combinational circuits

由 Andrei, Ş., Chin, W.-N., Cheng, A.M.K., Zhu, Y.
出版 2013

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

由 Andrei, Ş., Chin, W.N., Cheng, A.M.K., Lupu, M.
出版 2013