×
![]( "Buchcover ISBN 9784431368175")
Inhaltsverzeichnis
- Future directions for VLSI and software engineering.
- An object-oriented, capability-based architecture.
- Super freedom simulator PAX.
- Prolog interpreter and its parallel extension.
- Putting inner loops automatically in silicon.
- Hardware algorithms for VLSI systems.
- Graph-based design specification of parallel computation.
- Experience with specification and verification of hardware using PROLOG.
- VLSI verification and correction.
- Automated logic synthesis.
- A network for parallel searching.
- A hardware file system for database storage.
- Top-down VLSI design experiments on a picture database computer.
- Advances in digital image processing for document reproduction.
