dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Lun Li (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLun Li, Mitchell A. Thornton: Digital System Verification: A Combined Formal Methods and Simulation Framework Morgan & Claypool Publishers 2010
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlex Fit-Florea, Lun Li, Mitchell A. Thornton, David W. Matula: A Discrete Logarithm Number System for Integer Arithmetic Modulo 2k: Algorithms and Lookup Structures. IEEE Trans. Computers 58(2): 163-174 (2009)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLun Li, Frank P. Coyle, Mitchell A. Thornton: Automatic High Level Assertion Generation and Synthesis for Embedded System Design. FDL 2007: 261-267
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLun Li, Mitchell A. Thornton, David W. Matula: A digit serial algorithm for the integer power operation. ACM Great Lakes Symposium on VLSI 2006: 302-307
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLun Li, Alex Fit-Florea, Mitchell A. Thornton, David W. Matula: Performance Evaluation of a Novel Direct Table Lookup Method and Architecture with Application to 16-bit Integer Functions. ASAP 2006: 99-104
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLun Li, Mitchell A. Thornton, Marek A. Perkowski: A Quantum CAD Accelerator Based on Grover's Algorithm for Finding the Minimum Fixed Polarity Reed-Muller Form. ISMVL 2006: 33
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLun Li, Alex Fit-Florea, Mitchell A. Thornton, David W. Matula: Hardware Implementation of an Additive Bit-Serial Algorithm for the Discrete Logarithm Modulo 2k. ISVLSI 2005: 130-135
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKenneth Fazel, Lun Li, Mitchell A. Thornton, Robert B. Reese, Cherrice Traver: Performance enhancement in phased logic circuits using automatic slack-matching buffer insertion. ACM Great Lakes Symposium on VLSI 2004: 413-416
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLun Li, Mitchell A. Thornton, Stephen A. Szygenda: A Genetic Approach for Conjunction Scheduling in Symbolic Equivalence Checking. ISVLSI 2004: 32-38

Selection of 9 from 34 records - Lun Li has 54 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page