Cited By
View all- Kahng ALuo MNam GNath SPan DRobins GMarculescu DLiu F(2015)Toward Metrics of Design Automation Research ImpactProceedings of the IEEE/ACM International Conference on Computer-Aided Design10.5555/2840819.2840857(263-270)Online publication date: 2-Nov-2015
- Kahng ALuo MNam GNath SPan DRobins G(2015)Toward metrics of design automation research impact2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)10.1109/ICCAD.2015.7372579(263-270)Online publication date: Nov-2015
- Kundu SLerner SGupta RKundu SLerner SGupta R(2011)IntroductionHigh-Level Verification10.1007/978-1-4419-9359-5_1(1-9)Online publication date: 2-Apr-2011
- Show More Cited By