Tun Li

12 papers C 2Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2023 — conf
MMFuzz: Towards Enhancing RTL Fuzz Testing Using Metric Feedbacks Based on Markov Chain.
ATS
Yue Cheng, Hongji Zou, Jiayu He, Chen Chen, Tun Li, Han Long
2020 J jnl
Edge Computing and Blockchain for Quick Fake News Detection in IoV.
Sensors
Yonggang Xiao, Yanbing Liu, Tun Li
2019 J jnl
Formal Equivalence Checking Between System-Level and RTL Descriptions without Pre-Given Mapping Information.
J. Circuits Syst. Comput.
Jian Hu, Tun Li, Sikun Li
2016 — conf
Equivalence checking between SLM and RTL using machine learning techniques.
ISQED
Jian Hu, Tun Li, Sikun Li
2015 J jnl
Equivalence checking between SLM and TLM using coverage directed simulation.
Frontiers Comput. Sci.
Jian Hu, Tun Li, Sikun Li
2015 — conf
Formal equivalence checking between SLM and RTL descriptions.
SoCC
Jian Hu, Tun Li, Sikun Li
2013 — conf
Equivalence Checking between SLM and TLM Using Coverage Directed Simulation.
CAD/Graphics
Jian Hu, Tun Li, Sikun Li
2012 — conf
A bio-inspired self-organizing approach for multicellular embryonic architecture.
AHS
Jiaqing Xu, Qi Lv, Tun Li, Yong Dou
2010 — conf
An Approximate Soft Error Reliability Sorting Approach Based on State Analysis of Sequential Circuits.
DFT
Dan Zhu, Tun Li, Sikun Li
2010 — conf
On Soft Error Immunity of Sequential Circuits.
Asian Test Symposium
Dan Zhu, Tun Li, Sikun Li
2007 C conf
Distributed Collaborative Partition Method of Reconfigurable SoC Using Ant Colony Optimization.
CSCWD
Sikun Li, Dawei Wang, Tun Li, Yong Dou
2007 C conf
Fast Panorama Unrolling of Catadioptric Omni-Directional Images for Cooperative Robot Vision System.
CSCWD
Zhihui Xiong, Maojun Zhang, Yunli Wang, Tun Li, Sikun Li