Formal Approach to Hardware Design

Name: Formal Approach to Hardware Design
Brand: Springer
SKU: 9780792394273
Price: 893.03 RON
Availability: InStock

Autor: J

Limbă:

Legare: Copertă tare

Editura: Springer

Disponibilitate: În depozitul extern în cantități mici

Expediem în 13-18 zile

893.03 lei

A Formal Approach to Hardware Design discusses designing computations to be realised by application...

Informații despre carte

Autor

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

1994

Pagini

232

EAN

9780792394273

ISBN

0792394275

Enbook ID

01398224

Editura

Springer

Greutate

1180

Dimensiuni

155 x 235 x 17

Descriere completă

A Formal Approach to Hardware Design discusses designing computations to be realised by application specific hardware. It introduces a formal design approach based on a high-level design language called Synchronized Transitions. The models created using Synchronized Transitions enable the designer to perform different kinds of analysis and verification based on descriptions in a single language. It is, for example, possible to use exactly the same design description both for mechanically supported verification and synthesis. Synchronized Transitions is supported by a collection of public domain CAD tools. These tools can be used with the book in presenting a course on the subject. A Formal Approach to Hardware Design illustrates the benefits to be gained from adopting such techniques, but it does so without assuming prior knowledge of formal design methods. The book is thus not only an excellent reference, it is also suitable for use by students and practitioners.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Formal Approach to Hardware Design

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și