Detraque: Dynamic execution tracing techniques for automatic fault localization of hardware design code

• Jiang Wu,

  Roles Conceptualization, Data curation, Formal analysis, Funding acquisition, Investigation, Methodology, Project administration, Resources, Software, Supervision, Validation, Visualization, Writing – original draft, Writing – review & editing

  Affiliation College of Computer, National University of Defense Technology, Changsha, Hunan, China

  https://orcid.org/0000-0002-6353-8890

  ⨯
• Zhuo Zhang ,

  Roles Investigation, Methodology, Project administration

  * E-mail: zz8477@126.com

  Affiliation School of Information Technology and Engineering, Guangzhou College of Commerce, Guangzhou, Guangdong, China

  ⨯
• Jianjun Xu,

  Roles Conceptualization, Data curation, Funding acquisition

  Affiliation College of Computer, National University of Defense Technology, Changsha, Hunan, China

  ⨯
• Jiayu He,

  Roles Data curation, Investigation, Methodology, Software

  Affiliation College of Computer, National University of Defense Technology, Changsha, Hunan, China

  ⨯
• Xiaoguang Mao,

  Roles Conceptualization, Funding acquisition

  Affiliation College of Computer, National University of Defense Technology, Changsha, Hunan, China

  ⨯
• Xiankai Meng,

  Roles Data curation, Formal analysis

  Affiliation College of Computer and Information Engineering, Shanghai Polytechnic University, Shanghai, China

  ⨯
• Panpan Li

  Roles Software, Writing – review & editing

  Affiliation College of Computer, National University of Defense Technology, Changsha, Hunan, China

  ⨯