Ascend: a Scalable and Unified Architecture for Ubiquitous Deep Neural Network Computing : Industry Track Paper.
Proceedings of the IEEE International Symposium on High-Performance Computer Architecture, 2021
DaVinci: A Scalable Architecture for Neural Network Computing.
Proceedings of the 2019 IEEE Hot Chips 31 Symposium (HCS), 2019
Sequential equivalence checking between system level and RTL descriptions.
Des. Autom. Embed. Syst., 2008
Hardware Efficient Piecewise Linear Branch Predictor.
Proceedings of the 20th International Conference on VLSI Design (VLSI Design 2007), 2007
Automatic decomposition for sequential equivalence checking of system level and RTL descriptions.
Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006