𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) - San Jose, CA, USA (1997.11.13-1997.11.13)] Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) ICCAD-97 - Forward model checking techniques oriented to buggy designs

✍ Scribed by Iwashita, ; Nakata,

Book ID: 127076990
Publisher: IEEE
Year: 1997
Tongue: English
Weight: 479 KB
Edition: 1997 ed.
Category: Article
ISBN-13: 9780818682001
DOI: 10.1109/iccad.1997.643567

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Proceedings of IEEE International

[IEEE Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) - San Jose, CA, USA (1997.11.13-1997.11.13)] Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) ICCAD-97 - Hybrid spectral/iterative partitioning

✍ Zien, ; Chan, ; Schlag, 📂 Article 📅 1997 🏛 IEEE ⚖ 573 KB

[IEEE Proceedings of IEEE International

[IEEE Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) - San Jose, CA, USA (1997.11.13-1997.11.13)] Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) ICCAD-97 - EDA and the network

✍ Spiller, ; Newton, 📂 Article 📅 1997 🏛 IEEE ⚖ 769 KB

[IEEE Proceedings of IEEE International

[IEEE Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) - San Jose, CA, USA (1997.11.13-1997.11.13)] Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) ICCAD-97 - Interconnect design for deep submicron ICs

✍ Cong, ; Zhigang Pan, ; Lei He, ; Cheng-Kok Koh, ; Kei-Yong Khoo, 📂 Article 📅 1997 🏛 IEEE ⚖ 963 KB

[IEEE Proceedings of IEEE International

[IEEE Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) - San Jose, CA, USA (1997.11.13-1997.11.13)] Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) ICCAD-97 - Transformational partitioning for co-design of multiprocessor systems

✍ Marchioro, ; Daveau, ; Jerraya, 📂 Article 📅 1997 🏛 IEEE ⚖ 869 KB

[IEEE Proceedings of IEEE International

[IEEE Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) - San Jose, CA, USA (1997.11.13-1997.11.13)] Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) ICCAD-97 - Trace driven logic synthesis-application to power minimization

✍ Carloni, ; McGeer, ; Saldanha, ; Sangiovanni-Vincentelli, 📂 Article 📅 1997 🏛 IEEE ⚖ 913 KB

[IEEE Proceedings of IEEE International

[IEEE Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) - San Jose, CA, USA (1997.11.13-1997.11.13)] Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) ICCAD-97 - PRIMA: passive reduced-order interconnect macromodeling algorithm

✍ Odabasioglu, ; Celik, ; Pileggi, 📂 Article 📅 1997 🏛 IEEE ⚖ 682 KB