Ebook: VLSI Engineering: Beyond Software Engineering

---

Content:
Front Matter....Pages -
Future directions for VLSI and software engineering....Pages 1-19
An object-oriented, capability-based architecture....Pages 21-38
Super freedom simulator PAX....Pages 39-51
Prolog interpreter and its parallel extension....Pages 52-67
Putting inner loops automatically in silicon....Pages 69-104
Hardware algorithms for VLSI systems....Pages 105-129
Graph-based design specification of parallel computation....Pages 131-160
Experience with specification and verification of hardware using PROLOG....Pages 161-173
VLSI verification and correction....Pages 174-176
Automated logic synthesis....Pages 177-186
A network for parallel searching....Pages 187-202
A hardware file system for database storage....Pages 203-227
Top-down VLSI design experiments on a picture database computer....Pages 228-255
Advances in digital image processing for document reproduction....Pages 256-302
Back Matter....Pages -

---

Content:
Front Matter....Pages -
Future directions for VLSI and software engineering....Pages 1-19
An object-oriented, capability-based architecture....Pages 21-38
Super freedom simulator PAX....Pages 39-51
Prolog interpreter and its parallel extension....Pages 52-67
Putting inner loops automatically in silicon....Pages 69-104
Hardware algorithms for VLSI systems....Pages 105-129
Graph-based design specification of parallel computation....Pages 131-160
Experience with specification and verification of hardware using PROLOG....Pages 161-173
VLSI verification and correction....Pages 174-176
Automated logic synthesis....Pages 177-186
A network for parallel searching....Pages 187-202
A hardware file system for database storage....Pages 203-227
Top-down VLSI design experiments on a picture database computer....Pages 228-255
Advances in digital image processing for document reproduction....Pages 256-302
Back Matter....Pages -
....