Skip to main content
SpringerLink
Log in

Hardware Description Languages and their Applications

Specification, modelling, verification and synthesis of microelectronic systems

  • Book
  • © 1997

Overview

Editors:
  1. Carlos Delgado Kloos

    1. Universidad Carlos III de Madrid, Leganés, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Eduard Cerny

    1. Université de Montréal, Montréal, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (27 chapters)

  1. Analog Languages

    1. Behavioural Modelling of Sampled-Data Systems with HDL-A and ABSynth

      • Vincent Moser, Hans Peter Amann, Fausto Pellandini
      Pages 159-177

  2. Languages in Design Flows

    1. Front Matter

      Pages 179-179
      Download chapter PDF

    2. Hardware Description Languages in Practical Design Flows

      • Raul Camposano
      Pages 181-181

    3. VHDL generation from SDL specifications

      • Jean-Marc Daveau, Gilberto Fernandes Marchioro, Carlos Alberto Valderrama, Ahmed Amine Jerraya
      Pages 182-201

    4. Exploiting Isomorphism for Speeding-Up Instance-Binding in an Integrated Scheduling, Allocation and Assignment Approach to Architectural Synthesis

      • Birger Landwehr, Peter Marwedel, Ingolf Markhof, Rainer Dömer
      Pages 202-211

  3. Future Trends in Hardware Design

    1. Front Matter

      Pages 213-213
      Download chapter PDF

    2. Verification of Large Systems in Silicon

      • Cary Ussery, Simon Curry
      Pages 215-239

    3. The Shall Design Test Development Model for Hardware Systems

      • Mike Heuchling, Wolfgang Ecker, Michael Mrva
      Pages 240-259

    4. Modular Operational Semantic Specification of Transport Triggered Architectures

      • Jon Mountjoy, Pieter Hartel, Henk Corporaal
      Pages 260-279

  4. Formal Methods for Asynchronous and Distributed Systems

    1. Front Matter

      Pages 281-281
      Download chapter PDF

    2. The World of I/O: A Rich Application Area for Formal Methods

      • Francisco Corella
      Pages 283-284

    3. Abstract Modelling of Asynchronous Micropipeline Systems using Rainbow

      • Howard Barringer, Donal Fellows, Graham Gough, Alan Williams
      Pages 285-304

    4. A New Partial Order Reduction Algorithm for Concurrent System Verification

      • Ratan Nalumasu, Ganesh Gopalakrishnan
      Pages 305-314

  5. VHDL

    1. Front Matter

      Pages 315-315
      Download chapter PDF

    2. VHDL Power Simulator: Power Analysis at Gate-Level

      • L. Kruse, D. Rabe, W. Nebel
      Pages 317-333

    3. Object Oriented Extensions to VHDL, The LaMI proposal

      • Judith Benzakki, Bachir Djafri
      Pages 334-347

  6. Back Matter

    Pages 348-350
    Download chapter PDF
Back to top

Keywords

About this book

In the past few decades Computer Hardware Description Languages (CHDLs) have been a rapidly expanding subject area due to a number of factors, including the advancing complexity of digital electronics, the increasing prevalence of generic and programmable components of software-hardware and the migration of VLSI design to high level synthesis based on HDLs. Currently the subject has reached the consolidation phase in which languages and standards are being increasingly used, at the same time as the scope is being broadened to additional application areas. This book presents the latest developments in this area and provides a forum from which readers can learn from the past and look forward to what the future holds.

Editors and Affiliations

  • Universidad Carlos III de Madrid, Leganés, Spain

    Carlos Delgado Kloos

  • Université de Montréal, Montréal, Canada

    Eduard Cerny

Bibliographic Information

  • Book Title: Hardware Description Languages and their Applications

  • Book Subtitle: Specification, modelling, verification and synthesis of microelectronic systems

  • Editors: Carlos Delgado Kloos, Eduard Cerny

  • Series Title: IFIP Advances in Information and Communication Technology

  • DOI: https://doi.org/10.1007/978-0-387-35064-6

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: IFIP International Federation for Information Processing 1997

  • Hardcover ISBN: 978-0-412-78810-9Published: 30 April 1997

  • Softcover ISBN: 978-1-4757-5387-5Published: 08 January 2013

  • eBook ISBN: 978-0-387-35064-6Published: 05 June 2013

  • Series ISSN: 1868-4238

  • Series E-ISSN: 1868-422X

  • Edition Number: 1

  • Number of Pages: X, 350

  • Topics: Programming Languages, Compilers, Interpreters, Manufacturing, Machines, Tools, Processes

Publish with us

Policies and ethics

Back to top

Search

Navigation