Tak-Kei Lam
According to our database1,
Tak-Kei Lam
authored at least 11 papers
between 2010 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
Coupling reverse engineering and SAT to tackle NP-complete arithmetic circuitry verification in ∼O(# of gates).
Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016
2015
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015
2014
Proceedings of the 2014 27th International Conference on VLSI Design, 2014
On macro-fault: a new fault model, its implications on fault tolerance and manufacturing yield.
Proceedings of the Great Lakes Symposium on VLSI 2014, GLSVLSI '14, Houston, TX, USA - May 21, 2014
2012
ACM Trans. Design Autom. Electr. Syst., 2012
Almost every wire is removable: A modeling and solution for removing any circuit wire.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
2011
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011
Proceedings of the 16th Asia South Pacific Design Automation Conference, 2011
2010
Proceedings of the 20th ACM Great Lakes Symposium on VLSI 2009, 2010
Proceedings of the 47th Design Automation Conference, 2010