ZB 2003: Formal Specification and Development in Z and B

Volume 2651 of the series Lecture Notes in Computer Science pp 101-102


Parallel Hardware Design in B

  • Stefan HallerstedeAffiliated withKeesDA

* Final gross prices may vary according to local VAT.

Get Access


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.