𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Proceedings of the ASP-DAC '99 Asia and South Pacific Design Automation Conference 1999 (Cat. No.99EX198) - Wanchai, Hong Kong (1999.01.21-1999.01.21)] Proceedings of the ASP-DAC '99 Asia and South Pacific Design Automation Conference 1999 (Cat. No.99EX198) - FSM modeling of synchronous VHDL design for symbolic model checking

✍ Scribed by Jinsong Bei, ; Hongxing Li, ; Jinian Bian, ; Hongxi Xue, ; Xianlong Hong,

Book ID: 126653753
Publisher: IEEE
Year: 1999
Tongue: English
Weight: 384 KB
Edition: 1999 ed.
Category: Article
ISBN-13: 9780780350120
DOI: 10.1109/ASPDAC.1999.760034

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Proceedings of the ASP-DAC '99 Asi

[IEEE Proceedings of the ASP-DAC '99 Asia and South Pacific Design Automation Conference 1999 (Cat. No.99EX198) - Wanchai, Hong Kong (1999.01.21-1999.01.21)] Proceedings of the ASP-DAC '99 Asia and South Pacific Design Automation Conference 1999 (Cat. No.99EX198) - Microprocessor technologies for the 21st century

✍ Yung, R. 📂 Article 📅 1999 🏛 IEEE ⚖ 31 KB

[IEEE Proceedings of the ASP-DAC '99 Asi

[IEEE Proceedings of the ASP-DAC '99 Asia and South Pacific Design Automation Conference 1999 (Cat. No.99EX198) - Wanchai, Hong Kong (1999.01.21-1999.01.21)] Proceedings of the ASP-DAC '99 Asia and South Pacific Design Automation Conference 1999 (Cat. No.99EX198) - Symmetry detection for automatic analog-layout recycling

✍ Bourai, Y.; Shi, C.-J.R. 📂 Article 📅 1999 🏛 IEEE ⚖ 324 KB

[IEEE Proceedings of the ASP-DAC '99 Asi

[IEEE Proceedings of the ASP-DAC '99 Asia and South Pacific Design Automation Conference 1999 (Cat. No.99EX198) - Wanchai, Hong Kong (1999.01.21-1999.01.21)] Proceedings of the ASP-DAC '99 Asia and South Pacific Design Automation Conference 1999 (Cat. No.99EX198) - A scheduling method for synchronous communication in the Bach hardware compiler

✍ Sakurai, R.; Takahashi, M.; Kay, A.; Yamada, A.; Fujimoto, T.; Kambe, T. 📂 Article 📅 1999 🏛 IEEE ⚖ 349 KB

[IEEE Proceedings of the ASP-DAC '99 Asi

[IEEE Proceedings of the ASP-DAC '99 Asia and South Pacific Design Automation Conference 1999 (Cat. No.99EX198) - Wanchai, Hong Kong (1999.01.21-1999.01.21)] Proceedings of the ASP-DAC '99 Asia and South Pacific Design Automation Conference 1999 (Cat. No.99EX198) - Design re-use: where is the productivity going to come from?

✍ Ahuja, J. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 46 KB

[IEEE Proceedings of the ASP-DAC '99 Asi

[IEEE Proceedings of the ASP-DAC '99 Asia and South Pacific Design Automation Conference 1999 (Cat. No.99EX198) - Wanchai, Hong Kong (1999.01.21-1999.01.21)] Proceedings of the ASP-DAC '99 Asia and South Pacific Design Automation Conference 1999 (Cat. No.99EX198) - A US/Japan comparison of design/EDA capabilities

✍ Mayumi, H. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 59 KB

[IEEE Proceedings of the ASP-DAC '99 Asi

[IEEE Proceedings of the ASP-DAC '99 Asia and South Pacific Design Automation Conference 1999 (Cat. No.99EX198) - Wanchai, Hong Kong (1999.01.21-1999.01.21)] Proceedings of the ASP-DAC '99 Asia and South Pacific Design Automation Conference 1999 (Cat. No.99EX198) - Faster and better spectral algorithms for multi-way partitioning

✍ Jan-Yang Chang, ; Yu-Chen Liu, ; Ting-Chi Wang, 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 394 KB