Tun Li

This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.

Bibliography

2023
MMFuzz: Towards Enhancing RTL Fuzz Testing Using Metric Feedbacks Based on Markov Chain.
Proceedings of the 32nd IEEE Asian Test Symposium, 2023

2020
Edge Computing and Blockchain for Quick Fake News Detection in IoV.
Sensors, 2020

2019
Formal Equivalence Checking Between System-Level and RTL Descriptions without Pre-Given Mapping Information.
J. Circuits Syst. Comput., 2019

2016
Equivalence checking between SLM and RTL using machine learning techniques.
Proceedings of the 17th International Symposium on Quality Electronic Design, 2016

2015
Formal equivalence checking between SLM and RTL descriptions.
Proceedings of the 28th IEEE International System-on-Chip Conference, 2015

2013
Equivalence Checking between SLM and TLM Using Coverage Directed Simulation.
Proceedings of the 2013 International Conference on Computer-Aided Design and Computer Graphics, 2013

2012
A bio-inspired self-organizing approach for multicellular embryonic architecture.
Proceedings of the 2012 NASA/ESA Conference on Adaptive Hardware and Systems, 2012

2010
An Approximate Soft Error Reliability Sorting Approach Based on State Analysis of Sequential Circuits.
Proceedings of the 25th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, 2010

On Soft Error Immunity of Sequential Circuits.
Proceedings of the 19th IEEE Asian Test Symposium, 2010

2007
Fast Panorama Unrolling of Catadioptric Omni-Directional Images for Cooperative Robot Vision System.
Proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design, 2007

Distributed Collaborative Partition Method of Reconfigurable SoC Using Ant Colony Optimization.
Proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design, 2007


  Loading...