eBook: Asynchronous Digital Circuit Design (DRM PDF)
售價:
$585.00
購買後立即進貨, 約需 1-4 天
加入購物車
商品簡介
As the costs of power and timing become increasingly difficult to manage in traditional synchronous systems, designers are being forced to look at asynchronous alternatives. Based on reworked and expanded papers from the VII Banff Higher Order Workshop, this volume examines asynchronous methods which have been used in large circuit design, ranging from initial formal specification to more standard finite state machine based control models. Written by leading practitioners in the area, the papers cover many aspects of current practice including practical design, silicon compilation, and applications of formal specification. It also includes a state-of-the-art survey of asynchronous hardware design. The resulting volume will be invaluable to anyone interested in designing correct asynchronous circuits which exhibit high performance or low power operation.
Workshops in Computing
eBook: Declarative Programming, Sasbachwalden 1991: PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-
eBook: Designing Correct Circuits: Workshop jointly organised by the Universities of Oxford and Glasgow, 26-28 September 1990, Oxford (DRM PDF)
eBook: Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17-18 December 1990 (DRM PDF)
eBook: First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 (D
eBook: Interfaces to Database Systems (IDS94): Proceedings of the Second International Workshop on Interfaces to Database Systems, Lancaster Universit
eBook: Specification and Verification of Concurrent Systems (DRM PDF)
eBook: Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Comput
eBook: 7th UK Computer and Telecommunications Performance Engineering Workshop: Edinburgh, 22-23 July 1991 (DRM PDF)
eBook: ALPUK91: Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991 (DRM PDF)
eBook: Object Orientation in Z (DRM PDF)
eBook: Women into Computing: Selected Papers 1988-1990 (DRM PDF)
eBook: Neural Computation and Psychology: Proceedings of the 3rd Neural Computation and Psychology Workshop (NCPW3), Stirling, Scotland, 31 August - 2
eBook: Security for Object-Oriented Systems: Proceedings of the OOPSLA-93 Conference Workshop on Security for Object-Oriented Systems, Washington DC,
eBook: Database Programming Languages (DBPL-4): Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and
eBook: East/West Database Workshop: Proceedings of the Second International East/West Database Workshop, Klagenfurt, Austria, 25-28 September 1994 (DR
eBook: Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, Uni
eBook: Asynchronous Digital Circuit Design (DRM PDF)
eBook: 5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 (DRM PDF)
eBook: Functional Programming, Glasgow 1990: Proceedings of the 1990 Glasgow Workshop on Functional Programming 13-15 August 1990, Ullapool, Scotland
eBook: Software Re-use, Utrecht 1989: Proceedings of the Software Re-use Workshop, 23-24 November 1989, Utrecht, The Netherlands (DRM PDF) ... [顯示此系列所有商品]