Parallel Hardware Design in B
- First Online:
- 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.