SAT-based generation of compressed skewed-load tests for transition delay faults
- 期刊名称Microprocessors and Microsystems
- 作者Dobai, Roland; Balaz, Marcel
- 卷第37卷
- 期第2期
- 印刷ISSN0141-9331
- 文件大小569.14KB
- 发表时间2013-3
- DOI10.1016/j.micpro.2012.09.002
- 页码196-205
interfaceZhang, H. R.; Zhang, Y.; Zhang, H.; Zhang, J.; Shen, X.; Guan, X. X.; Chen, Y. Z.; Yu, R. C.; Pryds, N.; Chen, Y. S.; Shen, B. G.; Sun, J. R. · Physical Review B · 2017
Mismatch negativity in paranoid, schizotypal, and antisocial personality disordersY. Liu; X. Shen; Y. Zhu; Y. Xu; W. Cai; M. Shen; R. Yu; W. Wang · 2007
Combined amino acid mutations occurring in the envelope closely correlate with pathogenicity of EIAVH. Liang; X. He; R. X. Shen; T. Shen; X. Tong; Y. Ma; W. H. Xiang; X. Y. Zhang; Y. M. Shao · 2006
Measurement of the mass of the τ leptonBai, J. Z.; Bardon, O.; Becker-Szendy, R. A.; Blum, I.; Breakstone, A.; Burnett, T.; Chen, G. P.; Chen, H. F.; Chen, J.; Chen, S. J.; Chen, S. M.; Chen, Y.; Chen, Y. B.; Chen, Y. Q.; Cheng, B. S.; Cowan, R. F.; Cui, H. C.; Cui, X. Z.; Ding, H. L.; Du, Z. Z.; Dunwoodie, W.; Fan, X. L.; Fang, J.; Gao, C. S.; Gao, M. L.; Gao, S. Q.; Gao, W. X.; Gratton, P.; Gu, J. H.; Gu, S. D.; Gu, W. X.; Gu, Y. F.; Guo, Y. N.; Han, S. W.; Han, Y.; Harris, F. A.; Hatanaka, M.; He, J.; He, K. R.; He, M.; Hitlin, D. G.; Hu, G. Y.; Hu, T.; Hu, X. Q.; Huang, D. Q.; Huang, Y. Z.; Izen, J. M.; Jia, Q. P.; Jiang, C. H.; Jiang, Z. Z.; Jin, S.; Jin, Y.; Jones, L.; Kang, S. H.; Ke, Z. J.; Kelsey, M. H.; Kim, B. K.; Lai, Y. F.; Lan, H. B.; Lang, P. F.; Lankford, A.; Li, F.; Li, J.; Li, P. Q.; Li, Q.; Li, R. B.; Li, W.; Li, W. D.; Li, W. G.; Li, X. H.; Li, X. N.; Li, Y. S.; Lin, S. Z.; Liu, H. M.; Liu, J.; Liu, J. H.; Liu, Q.; Liu, R. G.; Liu, Y.; Liu, Z. A.; Lou, X. C.; Lowery, B.; Lu, F.; Lu, J. G.; Luo, Y.; Ma, A. M.; Ma, D. H.; Ma, E. C.; Ma, J. M.; Mao, H. S.; Mao, Z. P.; Malchow, R.; Mandelkern, M.; Marsiske, H.; Meng, X. C.; Ni, H. L.; Nie, J.; Olsen, S. L.; Oyang, J.; Paluselli, D.; Pan, L. J.; Panetta, J.; Porter, F.; Prabhakar, E.; Qi, N. D.; Que, Y. K.; Quigley, J.; Rong, G.; Schernau, M.; Schmid, B.; Schultz, J.; Shao, Y. Y.; Shen, B. W.; Shen, D. L.; Shen, H.; Shen, X. Y.; Sheng, H. Y.; Shi, H. Z.; Shi, X. R.; Smith, A.; Soderstrom, E.; Song, X. F.; Standifird, J.; Stoker, D.; Sun, F.; Sun, H. S.; Sun, S. J.; Synodinos, J.; Tan, Y. P.; Tang, S. Q.; Toki, W.; Tong, G. L.; Torrence, E.; Wang, F.; Wang, L. S.; Wang, L. Z.; Wang, M.; Wang, P.; Wang, P. L.; Wang, S. M.; Wang, T. J.; Wang, Y. Y.; Wei, C. L.; Whittaker, S.; Wilson, R.; Wisniewski, W. J.; Wu, Y. G.; Xi, D. M.; Xia, X. M.; Xie, P. P.; Xie, X. X.; Xiong, W. J.; Xu, D. Z.; Xu, M. K.; Xu, R. S.; Xu, Y. D.; Xu, Z. Q.; Xue, S. T.; Yamamoto, R.; Yan, J.; Yan, W. G.; Yang, C. M.; Yang, C. Y.; Yang, J.; Yang, W.; Yao, H. B.; Ye, M. · Physical Review D · 1996
Radiative DecaysBai, J. Z.; Chen, G. P.; Chen, H. F.; Chen, S. J.; Chen, S. M.; Chen, Y.; Chen, Y. B.; Chen, Y. Q.; Cheng, B. S.; Cui, X. Z.; Ding, H. L.; Ding, W. Y.; Du, Z. Z.; Fan, X. L.; Fang, J.; Gao, C. S.; Gao, M. L.; Gao, S. Q.; Gu, J. H.; Gu, S. D.; Gu, W. X.; Gu, Y. F.; Guo, Y. N.; Han, S. W.; Han, Y.; He, J.; He, M.; Hu, G. Y.; Hu, T.; Hu, X. Q.; Huang, D. Q.; Huang, T.; Huang, Y. Z.; Jiang, C. H.; Jin, S.; Jin, Y.; Kang, S. H.; Ke, Z. J.; Lai, Y. F.; Lan, H. B.; Lang, P. F.; Li, F.; Li, J.; Li, P. Q.; Li, Q.; Li, R. B.; Li, W.; Li, W. D.; Li, W. G.; Li, X. H.; Li, X. N.; Lin, S. Z.; Liu, H. M.; Liu, J.; Liu, J. H.; Liu, Q.; Liu, R. G.; Liu, Y.; Liu, Z. A.; Lu, J. G.; Lu, J. Y.; Luo, S. Q.; Luo, Y.; Ma, A. M.; Ma, E. C.; Ma, J. M.; Mao, H. S.; Mao, Z. P.; Meng, X. C.; Ni, H. L.; Nie, J.; Qi, N. D.; Que, Y. K.; Rong, G.; Shao, Y. Y.; Shen, B. W.; Shen, D. L.; Shen, H.; Shen, X. Y.; Sheng, H. Y.; Shi, H. Z.; Song, X. F.; Sun, F.; Sun, H. S.; Sun, S. J.; Tan, Y. P.; Tang, S. Q.; Tong, G. L.; Wang, F.; Wang, L. S.; Wang, L. Z.; Wang, M.; Wang, P.; Wang, P. L.; Wang, S. M.; Wang, T. J.; Wang, Y. Y.; Wei, C. L.; Xi, D. M.; Xia, X. M.; Xie, P. P.; Xie, Y. G.; Xiong, W. J.; Xu, D. Z.; Xu, R. S.; Xu, Z. Q.; Xue, S. T.; Yan, J.; Yan, W. G.; Yang, C. M.; Yang, C. Y.; Yang, J.; Yang, W.; Ye, M. H.; Ye, S. W.; Ye, S. Z.; Yu, C. S.; Yu, C. X.; Yu, Z. Q.; Yu, Z. T.; Yuan, C. Z.; Zhang, B. Y.; Zhang, C. C.; Zhang, D. H.; Zhang, H. L.; Zhang, J.; Zhang, J. W.; Zhang, L.; Zhang, L. S.; Zhang, S. Q.; Zhang, X. Y.; Zhang, Y.; Zhang, Y. Y.; Zhao, D. X.; Zhao, H. W.; Zhao, J. W.; Zhao, M.; Zhao, P. D.; Zhao, W. R.; Zheng, J. P.; Zheng, L. S.; Zheng, Z. P.; Zhou, G. P.; Zhou, H. S.; Zhou, Li; Zhou, X. F.; Zhou, Y. H.; Zhu, Q. M.; Zhu, Y. C.; Zhu, Y. S.; Zhuang, B. A. · Physical Review Letters · 1996
Lifetime prevalence of suicide ideation, plan, and attempt in metropolitan ChinaS. Lee; S. C. Fung; A. Tsang; Z. R. Liu; Y. Q. Huang; Y. L. He; M. Y. Zhang; Y. C. Shen; M. K. Nock; R. C. Kessler · 2007
Photoelectronic behaviors of bilayer ultrathin films manganite-based heterojunctionsGao, W. W.; Hu, L.; Sun, Y. P.; Sun, J. R.; Shen, J.; Chen, R. J.; Chen, Y. F.; Shen, B. G. · Journal of Applied Physics · 2013
Study on strain and piezoelectric polarization of AlN thin films grown on SiY. Deng; Y. Kong; Y. Zheng; C. Zhou; D. Xi; P. Chen; S. Gu; B. Shen; R. Zhang; P. Han; R. Jiang; Y. Shi · 2005
Phonon frequencies of goldSingh, Natthi; Prakash, Satya · Physical Review B · 1974
All Entangled Quantum States Are NonlocalBuscemi, Francesco · Physical Review Letters · 2012
Graphene nanoribbons subject to gentle bendsKoskinen, P. · Physical Review B · 2012
Spatial Pinning ControlFrasca, Mattia; Buscarino, Arturo; Rizzo, Alessandro; Fortuna, Luigi · Physical Review Letters · 2012
Entangled Granular MediaGravish, Nick; Franklin, Scott V.; Hu, David L.; Goldman, Daniel I. · Physical Review Letters · 2012
Quantum Degenerate Dipolar Fermi GasLu, Mingwu; Burdick, Nathaniel Q.; Lev, Benjamin L. · Physical Review Letters · 2012
Quantum Electron StarAllais, Andrea; McGreevy, John; Suh, S. Josephine · Physical Review Letters · 2012
Simple waves in Hertzian chainsMcDonald, B. Edward; Calvo, David · Physical Review E · 2012