L. Wang
Edinburgh Napier University(GB)
Publications by Year
Research Areas
Formal Methods in Verification, Low-power high-performance VLSI design, Logic, programming, and type systems, Optical Network Technologies, Analog and Mixed-Signal Circuit Design
Most-Cited Works
- → Multi-code state assignment for low power design(2000)22 cited
- → Efficient polarity conversion for large Boolean functions(1999)20 cited
- → Fast conversion algorithm for very large Booleanfunctions(2000)15 cited
- → Algebraic properties of multiple-valued modulo systems and their applications to current-mode CMOS circuits(1998)1 cited