An automatically verified generalized multifunction arithmetic pipeline
EURO-DAC '94 Proceedings of the conference on European design automation
The role of algebraic models and type-2 theory of effectivity in special purpose processor design
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Synchronous digital circuits as functional programs
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |
From the Publisher:The physical technologies of very large scale integration (VLSI) are having major effects on the electronics industry. The potential diversity and complexity of digital systems are revolutionizing the technologies of digital design, which involve the application of algorithmic and programming concepts and methods. In return, the problems of VLSI design are leading to new subjects of importance in computer science. These topics, covered in this volume, include: models of VLSI complexity, complexity theory, systolic algorithm design, specification theory, verification theory, and design by stepwise refinement and transformations. A thorough literature survey with an exhaustive bibliography is also included.