( en | de | ru )

 

Disambiguation of "Li, Sikun"

Author of the publication

copydeleteadd this publication to your clipboard
Automatic functional test program generation for microprocessor verification.

, , , , and . ASP-DAC, page 1039-1042. ACM Press, (2005)

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)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)Distributed Cooperative Design of Embedded Systems., , and . CSCWD (Selected papers), volume 3865 of Lecture Notes in Computer Science, page 455-462. Springer, (2005)UIA: a uniform integrated advection algorithm for steady and unsteady piecewise linear flow field on structured and unstructured grids., , , , and . J. Vis., 21 (2): 267-280 (2018)UIA: A Uniform Integrated Advection Algorithm for Steady and Unsteady Piecewise Linear Flow Field on Structured and Unstructured Grids., , , , and . Edutainment, volume 9654 of Lecture Notes in Computer Science, page 357-370. Springer, (2016)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)An efficient Uniform Integrated Advection algorithm for Finite Time Lyapunov Exponent field computation on GPU and MIC., , , and . SNPD, page 19-26. IEEE Computer Society, (2016)Design and Implementation of a Parallel Verilog Simulator: PVSim., , and . VLSI Design, page 329-334. IEEE Computer Society, (2004)