✦ LIBER ✦

[ACM Press the International Conference - San Jose, California (2012.11.05-2012.11.08)] Proceedings of the International Conference on Computer-Aided Design - ICCAD '12 - Trajectory-directed discrete state space modeling for formal verification of nonlinear analog circuits

✍ Scribed by Steinhorst, Sebastian; Hedrich, Lars

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the International Conference

✍ Fang, Jianxin; Gupta, Saket; Kumar, Sanjay V.; Marella, Sravan K.; Mishra, Vivek 📂 Article 📅 2012 🏛 ACM Press ⚖ 743 KB

[ACM Press the International Conference

✍ Alpert, Charles; Li, Zhuo; Nam, Gi-Joon; Sze, C. N.; Viswanathan, Natarajan; War 📂 Article 📅 2012 🏛 ACM Press ⚖ 805 KB

[ACM Press the International Conference

✍ Dubois, Florentine; Catalano, Valerio; Coppola, Marcello; Petrot, Frederic 📂 Article 📅 2012 🏛 ACM Press ⚖ 870 KB

[ACM Press the International Conference

✍ Kulkarni, Niranjan; Nukala, Nishant; Vrudhula, Sarma 📂 Article 📅 2012 🏛 ACM Press ⚖ 771 KB

[ACM Press the International Conference

✍ Jong, WoeiTzy; Wang, Hwei-Tseng; Hsieh, Chengta; Khoo, Kei-Yong 📂 Article 📅 2012 🏛 ACM Press ⚖ 518 KB

[ACM Press the International Conference

✍ Zhou, Pingqiang; Choi, Won Ho; Kim, Bongjin; Kim, Chris H.; Sapatnekar, Sachin S 📂 Article 📅 2012 🏛 ACM Press ⚖ 702 KB