Parallel Hardware Design in B

  • Stefan Hallerstede
Conference paper

DOI: 10.1007/3-540-44880-2_8

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2651)
Cite this paper as:
Hallerstede S. (2003) Parallel Hardware Design in B. In: Bert D., Bowen J.P., King S., Waldén M. (eds) ZB 2003: Formal Specification and Development in Z and B. ZB 2003. Lecture Notes in Computer Science, vol 2651. Springer, Berlin, Heidelberg


We present the design of a parallel synchronous hardware component from a purely functional description of its behaviour. Starting from an abstract specification of a linear time-invariant (LTI) system in Event-B a pipelined implementation is developed. The presented approach is applicable to LTI systems that can be represented as linear constant-coefficient difference equations.

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Stefan Hallerstede
    • 1
  1. 1.KeesDAGièresFrance

Personalised recommendations