( en | de | ru )

 

Disambiguation of "Li, Sikun"

Author of the publication

copydeleteadd this publication to your clipboard
Equivalence checking of scheduling in high-level synthesis.

, , , , and . ISQED, page 257-262. IEEE, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Li Li

Li Li

Li Li

Li Li

Li Li

 

Other publications of authors with the same name

ACRP: Application Customized Reconfigurable Pipeline., , and . ACA, volume 451 of Communications in Computer and Information Science, page 16-30. Springer, (2014)Distributed Cooperative Design of Embedded Systems., , and . CSCWD (Selected papers), volume 3865 of Lecture Notes in Computer Science, page 455-462. Springer, (2005)Minimizing Counterexample with Unit Core Extraction and Incremental SAT., , and . VMCAI, volume 3385 of Lecture Notes in Computer Science, page 298-312. Springer, (2005)A novel configurable motion estimation architecture for high-efficiency MPEG-4/H.264 encoding., , and . ASP-DAC, page 1264-1267. ACM Press, (2005)Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions., , , and . MICAI, volume 3789 of Lecture Notes in Computer Science, page 175-184. Springer, (2005)A Novel Block-Based Motion Estimation Algorithm and VLSI Architecture Based on Cluster Parallelism., and . ICESS, volume 3820 of Lecture Notes in Computer Science, page 564-575. Springer, (2005)Design and Implementation of a Parallel Verilog Simulator: PVSim., , and . VLSI Design, page 329-334. IEEE Computer Society, (2004)Procedural Terrain Detail Based on Patch-LOD Algorithm., , , and . Edutainment, volume 3942 of Lecture Notes in Computer Science, page 913-920. Springer, (2006)2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions., , , and . ISQED, page 637-642. IEEE Computer Society, (2008)A Mapping Method for Application Customized Reconfigurable Pipeline., and . NAS, page 123-127. IEEE Computer Society, (2014)