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