Tun Li
Tun Li
Adresse e-mail validée de nudt.edu.cn
Titre
Citée par
Citée par
Année
Design and implementation of a parallel verilog simulator: Pvsim
T Li, Y Guo, SK Li
17th International Conference on VLSI Design. Proceedings., 329-334, 2004
192004
Advances in predicate abstraction
WX QU, T LI, Y GUO, XD YANG
Journal of Software 1, 2008
172008
Coverage driven test generation framework for RTL functional verification
Y Guo, W Qu, T Li, S Li
2007 10th IEEE International Conference on Computer-Aided Design and …, 2007
172007
The use of UML sequence diagram for system-on-chip system level transaction-based functional verification
JS Yu, T Li, QP Tan
2006 6th World Congress on Intelligent Control and Automation 2, 6173-6177, 2006
172006
谓词抽象技术研究
屈婉霞, 李暾, 郭阳, 杨晓东
软件学报 19 (1), 27-38, 2008
152008
MA/sup 2/TG: a functional test program generator for microprocessor verification
T Li, D Zhu, Y Guo, GJ Liu, SK Li
8th Euromicro Conference on Digital System Design (DSD'05), 176-183, 2005
152005
Translation validation of scheduling in high level synthesis
T Li, Y Guo, W Liu, M Tang
Proceedings of the 23rd ACM international conference on Great lakes …, 2013
132013
A Unified approach to teach computational thinking for first year non–CS majors in an introductory course
T Li, T Wang
IERI Procedia 2, 498-503, 2012
132012
Efficient translation validation of high-level synthesis
T Li, Y Guo, W Liu, C Ma
International Symposium on Quality Electronic Design (ISQED), 516-523, 2013
102013
Functional vectors generation for RT-level Verilog descriptions based on path enumeration and constraint logic programming
T Li, Y Guo, GJ Liu, SK Li
8th Euromicro Conference on Digital System Design (DSD'05), 17-23, 2005
102005
An automatic circuit extractor for rtl verification
T Li, Y Guo, S Li
2003 Test Symposium, 154-160, 2003
102003
Equivalence checking between SLM and TLM using coverage directed simulation
J Hu, T Li, S Li
Frontiers of Computer Science 9 (6), 934-943, 2015
82015
2d decomposition sequential equivalence checking of system level and rtl descriptions
D Zhu, T Li, Y Guo, S Li
9th International Symposium on Quality Electronic Design (isqed 2008), 637-642, 2008
82008
Fast panorama unrolling of catadioptric omni-directional images for cooperative robot vision system
Z Xiong, M Zhang, Y Wang, T Li, S Li
2007 11th International Conference on Computer Supported Cooperative Work in …, 2007
72007
Feature-oriented refactoring proposal for transaction level models in SoCLib
J Ye, Q Tan, T Li, B Wu, Y Meng
2010 Forum on Specification & Design Languages (FDL 2010), 1-6, 2010
52010
The application of Aspectual Feature Module in the development and verification of SystemC models
Y Jun, L Tun, T Qingping
2009 Forum on Specification & Design Languages (FDL), 1-6, 2009
52009
Distributed Collaborative Partition Method of Reconfigurable SoC Using Ant Colony Optimization
S Li, D Wang, T Li, Y Dou
2007 11th International Conference on Computer Supported Cooperative Work in …, 2007
52007
Equivalence checking between SLM and RTL using machine learning techniques
J Hu, T Li, S Li
2016 17th International Symposium on Quality Electronic Design (ISQED), 129-134, 2016
42016
Equivalence checking of scheduling in high-level synthesis
T Li, J Hu, Y Guo, S Li, Q Tan
Sixteenth International Symposium on Quality Electronic Design, 257-262, 2015
42015
Bounded model checking of ETL cooperating with finite and looping automata connectives
R Wang, W Liu, T Li, X Mao, J Wang
Journal of Applied Mathematics 2013, 2013
42013
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20