Follow
Timothy Yee-Kwong Kam
Timothy Yee-Kwong Kam
Verified email at intel.com
Title
Cited by
Cited by
Year
Multi-valued decision diagrams: Theory and applications
T Kam
Multiple-Valued Logic 4 (1), 9-62, 1998
3201998
Introduction: people and their pasts and public history today
H Kean, P Ashton
People and their pasts: Public history today, 1-20, 2009
267*2009
Coverage estimation for symbolic model checking
Y Hoskote, T Kam, PH Ho, X Zhao
Proceedings of the 36th annual ACM/IEEE Design Automation Conference, 300-305, 1999
2001999
Reducing structural bias in technology mapping
S Chatterjee, A Mishchenko, RK Brayton, X Wang, T Kam
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2006
1822006
Synthesis of finite state machines: functional optimization
T Kam, T Villa, RK Brayton, AL Sangiovanni-Vincentelli
Springer Science & Business Media, 2013
1332013
Introduction: the development of Arendt’s political thought
D Villa
The Cambridge Companion to Hannah Arendt 2, 1-21, 2000
1252000
Synthesis of finite state machines: logic optimization
T Villa, T Kam, RK Brayton, AL Sangiovanni-Vincentelli
Springer Science & Business Media, 2012
1212012
HSIS: A BDD-based environment for formal verification
A Aziz, F Balarin, ST Cheng, R Hojati, T Kam, SC Krishnan, RK Ranjan, ...
Proceedings of the 31st annual Design Automation Conference, 454-459, 1994
1071994
A fully implicit algorithm for exact state minimization
T Kam, T Villa, R Brayton, A Sangiovanni-Vincentelli
Proceedings of the 31st annual Design Automation Conference, 684-690, 1994
951994
Verification of all circuits in a floating-point unit using word-level model checking
YA Chen, E Clarke, PH Ho, Y Hoskote, T Kam, M Khaira, J O'Leary, ...
International Conference on Formal Methods in Computer-Aided Design, 19-33, 1996
791996
A new enhanced constructive decomposition and mapping algorithm
A Mishchenko, X Wang, T Kam
Proceedings of the 40th annual Design Automation Conference, 143-148, 2003
712003
Multi-valued decision diagrams
TY Kam, RK Brayton
Electronics Research Laboratory, College of Engineering, University of …, 1990
671990
Explicit and implicit algorithms for binate covering problems
T Villa, T Kam, RK Brayton, AL Sangiovanni-Vincenteili
IEEE Transactions on computer-Aided Design of integrated Circuits and …, 1997
641997
Automatic pipelining from transactional datapath specifications
E Nurvitadhi, JC Hoe, T Kam, SLL Lu
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2011
442011
Formal verification of pipeline control using controlled token nets and abstract interpretation
PH Ho, AJ Isles, T Kam
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided …, 1998
441998
OS-level power minimization under tight performance constraints in general purpose systems
R Ayoub, U Ogras, E Gorbatov, Y Jin, T Kam, P Diefenbaugh, T Rosing
IEEE/ACM International Symposium on Low Power Electronics and Design, 321-326, 2011
412011
Comparing layouts with HDL models: A formal verification technique
T Kam, PA Subrahmanyam
IEEE transactions on computer-aided design of integrated circuits and …, 1995
391995
Correct-by-construction microarchitectural pipelining
T Kam, M Kishinevsky, J Cortadella, M Galceran-Oms
2008 IEEE/ACM International Conference on Computer-Aided Design, 434-441, 2008
372008
A study of the effectiveness of CPU consolidation in a virtualized multi-core server system
I Hwang, T Kam, M Pedram
Proceedings of the 2012 ACM/IEEE international symposium on Low power …, 2012
302012
Technology mapping with Boolean matching, supergates and choices
A Mishchenko, S Chatterjee, R Brayton, X Wang, T Kam
Berkeley Logic Synthesis and Verification Group, 2005
302005
The system can't perform the operation now. Try again later.
Articles 1–20