Mismatch analysis and direct yield optimization by spec-wise linearization and feasibility-guided search
Schenkel, F., Pronath, M., Zizala, S., Schwencker, R., Graeb, H., Antreich, K.
Published in Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) (2001)
Published in Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) (2001)
Get full text
Conference Proceeding
Checking equivalence for partial implementations
Scholl, Christoph, Becker, Bernd
Published in Proceedings of the 38th annual Design Automation Conference (01.01.2001)
Published in Proceedings of the 38th annual Design Automation Conference (01.01.2001)
Get full text
Conference Proceeding
High-level software energy macro-modeling
Tan, T. K., Raghunathan, A. K., Lakishminarayana, G., Jha, N. K.
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation (01.01.2001)
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation (01.01.2001)
Get full text
Conference Proceeding
Inductance 101: modeling and extraction
Beattie, Michael W., Pileggi, Lawrence T.
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation (01.01.2001)
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation (01.01.2001)
Get full text
Conference Proceeding
Circuit-based Boolean Reasoning
Kuehlmann, Andreas, Ganai, Malay K., Paruthi, Viresh
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation (01.01.2001)
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation (01.01.2001)
Get full text
Conference Proceeding
Driver modeling and alignment for worst-case delay noise
Sirichotiyakul, Supamas, Blaauw, David, Oh, Chanhee, Levy, Rafi, Zolotov, Vladimir, Zuo, Jingyan
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation (01.01.2001)
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation (01.01.2001)
Get full text
Conference Proceeding
An algorithm for bi-decomposition of logic functions
Mishchenko, Alan, Steinbach, Bernd, Perkowski, Marek
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation (01.01.2001)
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation (01.01.2001)
Get full text
Conference Proceeding
A practical methodology for early buffer and wire resource allocation
Alpert, Charles J., Hu, Jiang, Sapatnekar, Sachin S., Villarrubia, Paul
Published in Proceedings of the 38th annual Design Automation Conference (01.01.2001)
Published in Proceedings of the 38th annual Design Automation Conference (01.01.2001)
Get full text
Conference Proceeding
Floorplanning with abutment constraints and L-shaped/T-shaped blocks based on corner block list
Yuchun Ma, Xianlong Hong, Sheqin Dong, Yici Cai, Chung-Kuan Cheng, Jun Gu
Published in Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) (2001)
Published in Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) (2001)
Get full text
Conference Proceeding
Inductance 101: analysis and design issues
Gala, Kaushik, Blaauw, David, Wang, Junfeng, Zolotov, Vladimir, Zhao, Min
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation (01.01.2001)
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation (01.01.2001)
Get full text
Conference Proceeding