Synthesis of hardware systems from very high level behavioural specifications

Bibliographic Details
Main Author: Marshall, Richard Millar
Published: University of Edinburgh 1986
Subjects:
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.375588
id ndltd-bl.uk-oai-ethos.bl.uk-375588
record_format oai_dc
spelling ndltd-bl.uk-oai-ethos.bl.uk-3755882016-04-25T15:18:54ZSynthesis of hardware systems from very high level behavioural specificationsMarshall, Richard Millar1986621.39Control system software designUniversity of Edinburghhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.375588http://hdl.handle.net/1842/12573Electronic Thesis or Dissertation
collection NDLTD
sources NDLTD
topic 621.39
Control system software design
spellingShingle 621.39
Control system software design
Marshall, Richard Millar
Synthesis of hardware systems from very high level behavioural specifications
author Marshall, Richard Millar
author_facet Marshall, Richard Millar
author_sort Marshall, Richard Millar
title Synthesis of hardware systems from very high level behavioural specifications
title_short Synthesis of hardware systems from very high level behavioural specifications
title_full Synthesis of hardware systems from very high level behavioural specifications
title_fullStr Synthesis of hardware systems from very high level behavioural specifications
title_full_unstemmed Synthesis of hardware systems from very high level behavioural specifications
title_sort synthesis of hardware systems from very high level behavioural specifications
publisher University of Edinburgh
publishDate 1986
url http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.375588
work_keys_str_mv AT marshallrichardmillar synthesisofhardwaresystemsfromveryhighlevelbehaviouralspecifications
_version_ 1718234718029217792