A prototype high level hardware synthesis system

A prototype high level hardware synthesis system

Bibliographic Details
Main Author:	Collis, G. V.
Published:	University of Manchester 1987
Subjects:	621.39 VLSI systems design
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.234891

Similar Items

Synthesis of hardware systems from very high level behavioural specifications
by: Marshall, Richard Millar
Published: (1986)

A nibble-serial programmable digital signal processor for VLSI implementation
by: Cottrell, R. A.
Published: (1987)

Plasma physics computations on emerging hardware architectures
by: Chorley, Joanne Clare
Published: (2016)

Hardware synthesis from an interval temporal logic
by: Marshall, I.
Published: (1997)

Cherub : a hardware distributed single shared address space memory architecture
by: Gull, Aarron
Published: (1993)

Behavioural synthesis of run-time reconfigurable systems
by: Esrafili-Gerdeh, Donald
Published: (2016)

High performance lossless data compression hardware
by: Gooch, Mark
Published: (1996)

Design rule representation within a hardware design system
by: Aude, J. S.
Published: (1986)

A formal approach to hardware analysis
by: Traub, Niklas Gerard
Published: (1986)

Relating formal models of concurrency for the modelling of asynchronous digital hardware
by: Pietkiewicz-Koutny, Marta
Published: (2000)

Hardware and system software aspects of a multiple microprocessor signal and array processing system
by: Shepherd, M. G.
Published: (1984)

A Pascal-based hardware and software description system
by: Clark, Andrew N.
Published: (1982)

Symmetric active/active high availability for high-performance computing system services
by: Engelmann, Christian
Published: (2008)

A hardware implementation of a knowledge manipulation system for real time engineering applications
by: Hudson, Stephen
Published: (1990)

Hardware and software approximate string matching and pattern recognition for intelligent knowledge based systems
by: Owolabi, Olumide
Published: (1988)

A hardware controller for displaying high quality characteristics on a raster scan display
by: Harun, M. K. B.
Published: (1982)

Automated synthesis of delay-insensitive circuits
by: Sayle, Roger Anthony
Published: (1996)

Design and implementation of a hardware reliability simulator for multiple component systems
by: Kermack, Calum S.
Published: (1991)

A parallel vector processing system
by: Topham, N. P.
Published: (1985)

Hardware design by proven transformations
by: Busch, Holger
Published: (1991)

The design of a tightly coupled multiple microprocessor system
by: Payne, R. R.
Published: (1987)

A design methodology for self-timed VLSI systems
by: Al-Helwani, A. M.
Published: (1985)

Design and synthesis of modern integrated filter networks : a computer-aided approach
by: Teplechuk, Mykhaylo A.
Published: (2005)

The distributed computer system
by: Ng, Yan Hong
Published: (1983)

A hardware-software co-design system for embedded real-time applications
by: Cavalcante, Sergio Vanderlei
Published: (1997)

The Lexical Token Converter : Hardware support for Large Knowledge Based Systems
by: Wang, C. J.
Published: (1987)

3D rasterisarion hardware techniques
by: Waller, Marcus D.
Published: (1997)

Implementation of hardware and software for a machine health monitor
by: Bidgoli, A. M.
Published: (1994)

Characterisation of planar resonators for use in circulator hardware
by: Nisbet, W. T.
Published: (1980)

Parallel hardware support for relational algebraic operations within large knowledge based systems
by: Mok, Kai Yau
Published: (1992)

Multi-microprocessor systems with particular reference to hardware aspects of resource allocation for particular applications
by: Refai, M. K. A.
Published: (1982)

Fast algorithms and hardware for 3D computer graphics
by: Mitchell, David Anthony Paul
Published: (1992)

A real-time hardware speech data compression system using digital fast fourier transform coding
by: Trivedi, M.
Published: (1980)

Hardware design for a bit slice microprocessor microprogram development aid
by: Cheung, C. K.
Published: (1980)

Formalizing abstraction mechanisms for hardware verification in higher order logic
by: Melham, Thomas Frederick
Published: (1989)

Design of microprocessor-based hardware for number theoretic transform implementation
by: Shamim, Anwar Ahmed
Published: (1983)

Intelligent distributed process monitoring and management system
by: Frankowiak, Marcos R.
Published: (2004)

Hypermedia-based performance support systems for the web
by: Huneiti, Ammar M.
Published: (2004)

Reliability management techniques in SSD storage systems
by: Mir, Irfan Faisal
Published: (2014)

Real time and performance management techniques in SSD storage systems
by: Komsul, Muhammed Ziya
Published: (2017)