Sikun Li

2009
49	EE	Dawei Wang, Peng Zhao, Sikun Li: System Level Distributed Cooperative Design of Media SoC Using Application Profiling. JCP 4(1): 77-85 (2009)
48	EE	Jianmin Zhang, ShengYu Shen, Sikun Li: Tracking Unsatisfiable Subformulas from Reduced Refutation Proof. JSW 4(1): 42-49 (2009)
47	EE	Dawei Wang, Sikun Li, Yong Dou: Loop Kernel Pipelining Mapping onto Coarse-Grained Reconfigurable Architecture for Data-Intensive Applications. JSW 4(1): 81-89 (2009)
2008
46	EE	Dawei Wang, Sikun Li, Yong Dou: Collaborative hardware/software partition of coarse-grained reconfigurable system using evolutionary ant colony optimization. ASP-DAC 2008: 679-684
45	EE	Peng Zhao, Sikun Li, Dawei Wang, Ming Yan: Application-driven System-on-Chip system model extraction approach. CSCWD 2008: 123-128
44	EE	Dan Zhu, Tun Li, Yang Guo, Sikun Li: 2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions. ISQED 2008: 637-642
2007
43	EE	Zhihui Xiong, Maojun Zhang, Yunli Wang, Tun Li, Sikun Li: Fast Panorama Unrolling of Catadioptric Omni-Directional Images for Cooperative Robot Vision System. CSCWD 2007: 1100-1104
42	EE	Sikun Li, Dawei Wang, Tun Li, Yong Dou: Distributed Collaborative Partition Method of Reconfigurable SoC Using Ant Colony Optimization. CSCWD 2007: 133-138
41	EE	Tun Li, Sikun Li, Jinshan Yu, Yang Guo: A Novel Collaborative Verification Environment for SoC Co-Verification. CSCWD 2007: 145-150
40	EE	Jianmin Zhang, ShengYu Shen, Sikun Li: A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction. ICCSA (3) 2007: 649-659
39	EE	Jianmin Zhang, ShengYu Shen, Sikun Li: Finding Unsatisfiable Subformulas with Stochastic Method. IDEAL 2007: 385-394
38	EE	Jing Zhou, Yijie Wang, Sikun Li: Key-Attributes Based Optimistic Data Consistency Maintenance Method. ISPA 2007: 91-103
2006
37	EE	Jianmin Zhang, Sikun Li, ShengYu Shen: Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm. Australian Conference on Artificial Intelligence 2006: 847-856
36	EE	Jing Zhou, Yijie Wang, Sikun Li: Data Dependence-based Optimistic Data Consistency Maintenance Method. CIT 2006: 120
35	EE	Shengning Wu, Sikun Li: Instruction Selection for ARM/Thumb Processors Based on a Multi-objective Ant Algorithm. CSR 2006: 641-651
34	EE	Xuexian Pi, Junqiang Song, Liang Zeng, Sikun Li: Procedural Terrain Detail Based on Patch-LOD Algorithm. Edutainment 2006: 913-920
33	EE	Liansheng Wang, Xucan Chen, Sikun Li, Xun Cai: General Adaptive Transfer Functions Design for Volume Rendering by Using Neural Networks. ICONIP (2) 2006: 661-670
32	EE	Cheng-Dong Shen, Sikun Li: Fast Prediction Mode Decision Algorithm for H.264 Based on Hierarchical Mode Classification Framework. ISVC (2) 2006: 882-890
31	EE	Jianmin Zhang, Ming Yan, Sikun Li: Debug Support for Scalable System-on-Chip. MTV 2006: 83-87
30	EE	Cheng-Dong Shen, Sikun Li: A Hierarchical Framework for Fast Macroblock Prediction Mode Decision in H.264. PCM 2006: 827-834
2005
29	EE	Tun Li, Dan Zhu, Lei Liang, Yang Guo, Sikun Li: Automatic functional test program generation for microprocessor verification. ASP-DAC 2005: 1039-1042
28	EE	Tiejun Li, Sikun Li, Cheng-Dong Shen: A novel configurable motion estimation architecture for high-efficiency MPEG-4/H.264 encoding. ASP-DAC 2005: 1264-1267
27	EE	Zhihui Xiong, Sikun Li, Jihua Chen: Hardware/software co-design using hierarchical platform-based design method. ASP-DAC 2005: 1309-1312
26	EE	ShengYu Shen, Ying Qin, Sikun Li: A fast counterexample minimization approach with refutation analysis and incremental SAT. ASP-DAC 2005: 451-454
25	EE	Zhihui Xiong, Jihua Chen, Sikun Li: Hardware/software partitioning for platform-based design method. ASP-DAC 2005: 691-696
24	EE	Tun Li, Yang Guo, Sikun Li, GongJie Liu: Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming. ATVA 2005: 174-186
23	EE	Cheng-Dong Shen, Tiejun Li, Sikun Li: A Predictive Direction Guided Fast Motion Estimation Algorithm. CAIP 2005: 188-196
22	EE	ShengYu Shen, Ying Qin, Sikun Li: Minimizing Counterexample of ACTL Property. CHARME 2005: 393-397
21	EE	Sikun Li, Zhihui Xiong, Tiejun Li: Distributed Cooperative Design of Embedded Systems. CSCWD (Selected papers) 2005: 455-462
20	EE	ShengYu Shen, Ying Qin, Sikun Li: A Faster Counterexample Minimization Algorithm Based on Refutation Analysis. DATE 2005: 672-677
19	EE	Tun Li, Yang Guo, GongJie Liu, Sikun Li: Functional Vectors Generation for RT-Level Verilog Descriptions Based on Path Enumeration and Constraint Logic Programming. DSD 2005: 17-25
18	EE	Tun Li, Dan Zhu, Yang Guo, GongJie Liu, Sikun Li: MA2TG: A Functional Test Program Generator for Microprocessor Verification. DSD 2005: 176-183
17	EE	Jing Zhou, Yijie Wang, Sikun Li: An Optimistic Replication Algorithm to Improve Consistency for Massive Data. GCC 2005: 713-718
16	EE	Tiejun Li, Sikun Li: A Novel Block-Based Motion Estimation Algorithm and VLSI Architecture Based on Cluster Parallelism. ICESS 2005: 564-575
15	EE	Tun Li, Yang Guo, Sikun Li, Dan Zhu: Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions. MICAI 2005: 175-184
14	EE	ShengYu Shen, Ying Qin, Sikun Li: Minimizing Counterexample with Unit Core Extraction and Incremental SAT. VMCAI 2005: 298-312
2004
13	EE	Tun Li, Yang Guo, Sikun Li: Assertion-based automated functional vectors generation using constraint logic programming. ACM Great Lakes Symposium on VLSI 2004: 288-291
12	EE	Tun Li, Yang Guo, Sikun Li, FuJiang Ao, GongJie Li: Parallel verilog simulation: architecture and circuit partition. ASP-DAC 2004: 644-646
11	EE	ShengYu Shen, Ying Qin, Sikun Li: Localizing Errors in Counterexample with Iteratively Witness Searching. ATVA 2004: 456-469
10	EE	Tun Li, Yang Guo, Sikun Li: CLP Based Static Property Checking. ATVA 2004: 495-498
9	EE	Zhihui Xiong, Sikun Li, Jihua Chen, Maojun Zhang: Hardware/Software Co-design Environment for Hierarchical Platform-Based Design. CSCWD (Selected papers) 2004: 242-251
8	EE	Yijie Wang, Sikun Li: Research of Data-Partition-Based Replication Algorithm in Peer-to-Peer Distributed Storage System. GCC 2004: 642-649
7	EE	Yubo Tan, Yuxing Peng, Sikun Li, Fujie Chen: AFEC: An Advanced FEC Algorithm for Video Transmission Control over the Grid. GCC Workshops 2004: 753-760
6	EE	Yuxing Peng, Yongjun Zhang, Sikun Li: Delayed State Consistency in Distributed Virtual Environments. GCC Workshops 2004: 761-767
5	EE	Zhihui Xiong, Sikun Li, Jihua Chen, Maojun Zhang: Use Dynamic Combination of Two Meta-heuristics to Do Bi-partitioning. ICESS 2004: 216-221
4	EE	Chuanyan Tian, Cheng-Dong Shen, Sikun Li: A Fast Motion Estimation Algorithm Based on Context-Adaptive Parallelogram Search Pattern. MIPS 2004: 175-186
3	EE	Tun Li, Yang Guo, Sikun Li: Design and Implementation of a Parallel Verilog Simulator: PVSim. VLSI Design 2004: 329-334
2	EE	Tun Li, Yang Guo, Sikun Li: Automatic Circuit Extractor for HDL Description Using Program Slicing. J. Comput. Sci. Technol. 19(5): 718-728 (2004)
2003
1	EE	Tun Li, Yang Guo, Sikun Li: An Automatic Circuit Extractor for RTL Verification. Asian Test Symposium 2003: 154-160

Coauthor Index

1	FuJiang Ao	[12]
2	Xun Cai	[33]
3	Fujie Chen	[7]
4	Jihua Chen	[5] [9] [25] [27]
5	Xucan Chen	[33]
6	Yong Dou	[42] [46] [47]
7	Yang Guo	[1] [2] [3] [10] [12] [13] [15] [18] [19] [24] [29] [41] [44]
8	GongJie Li	[12]
9	Tiejun Li	[16] [21] [23] [28]
10	Tun Li	[1] [2] [3] [10] [12] [13] [15] [18] [19] [24] [29] [41] [42] [43] [44]
11	Lei Liang	[29]
12	GongJie Liu	[18] [19] [24]
13	Yuxing Peng	[6] [7]
14	Xuexian Pi	[34]
15	Ying Qin	[11] [14] [20] [22] [26]
16	Cheng-Dong Shen	[4] [23] [28] [30] [32]
17	ShengYu Shen	[11] [14] [20] [22] [26] [37] [39] [40] [48]
18	Junqiang Song	[34]
19	Yubo Tan	[7]
20	Chuanyan Tian	[4]
21	Dawei Wang	[42] [45] [46] [47] [49]
22	Liansheng Wang	[33]
23	Yijie Wang	[8] [17] [36] [38]
24	Yunli Wang	[43]
25	Shengning Wu	[35]
26	Zhihui Xiong	[5] [9] [21] [25] [27] [43]
27	Ming Yan	[31] [45]
28	Jinshan Yu	[41]
29	Liang Zeng	[34]
30	Jianmin Zhang	[31] [37] [39] [40] [48]
31	Maojun Zhang	[5] [9] [43]
32	Yongjun Zhang	[6]
33	Peng Zhao	[45] [49]
34	Jing Zhou	[17] [36] [38]
35	Dan Zhu	[15] [18] [29] [44]

Colors in the list of coauthors