𝔖 Bobbio Scriptorium

✦ LIBER ✦

[ACM Press the 33rd annual conference - Las Vegas, Nevada, United States (1996.06.03-1996.06.07)] Proceedings of the 33rd annual conference on Design automation conference - DAC '96 - I'm done simulating; now what? Verification coverage analysis and correctness checking of the DEC chip 21164 Alpha microprocessor

✍ Scribed by Katrowitz, Michael; Noack, Lisa M.

Book ID: 120944715
Publisher: ACM Press
Year: 1996
Weight: 115 KB
Category: Article
ISBN-13: 9780897917797
DOI: 10.1145/240518.240580

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 33rd annual conference -

[ACM Press the 33rd annual conference - Las Vegas, Nevada, United States (1996.06.03-1996.06.07)] Proceedings of the 33rd annual conference on Design automation conference - DAC '96 - On solving covering problems

✍ Coudert, Olivier 📂 Article 📅 1996 🏛 ACM Press ⚖ 324 KB

[ACM Press the 33rd annual conference -

[ACM Press the 33rd annual conference - Las Vegas, Nevada, United States (1996.06.03-1996.06.07)] Proceedings of the 33rd annual conference on Design automation conference - DAC '96 - The design of mixed hardware/software systems

✍ Adams, Jay K.; Thomas, Donald E. 📂 Article 📅 1996 🏛 ACM Press ⚖ 62 KB

[ACM Press the 33rd annual conference -

[ACM Press the 33rd annual conference - Las Vegas, Nevada, United States (1996.06.03-1996.06.07)] Proceedings of the 33rd annual conference on Design automation conference - DAC '96 - Efficient software performance estimation methods for hardware/software codesign

✍ Suzuki, Kei; Sangiovanni-Vincentelli, Alberto 📂 Article 📅 1996 🏛 ACM Press ⚖ 123 KB

[ACM Press the 33rd annual conference -

[ACM Press the 33rd annual conference - Las Vegas, Nevada, United States (1996.06.03-1996.06.07)] Proceedings of the 33rd annual conference on Design automation conference - DAC '96 - An O ( n ) algorithm for transistor stacking with performance constraints

✍ Basaran, Bulent; Rutenbar, Rob A. 📂 Article 📅 1996 🏛 ACM Press ⚖ 71 KB