Component-Based Asynchronous Circuit Design in B

Juha Plosila*, Kaisa Sere, Marina Walden

*Corresponding author for this work

Research output: Book/Journal/ReportCommissioned reportProfessional

8 Downloads (Pure)


Action systems offer a component-based approach to circuit design. Component-based approaches are well established in hardware design, but are only recently more established in software design. However, software oriented methods allow a higher level of abstraction than the often quite low-level hardware design methods used today. We propose a method to organise a large circuit derivation within the B Method via its library facilities as provided by the tools. The developer proceeds from an abstract high-level specification of the intended behaviour of the target circuit via correctness preserving transformation steps towards an implementable circuit description. At each step some part of the specification is implemented using a library component chosen by the designer and the correctness of the step is proved using the tool support of the B Method. We develop the needed program transformation rules that the designer can appeal to when using library components in his or her design.
Original languageEnglish
PublisherTurku Centre for Computer Science (TUCS)
ISBN (Print)952-12-0755-8
Publication statusPublished - 2000
MoE publication typeD4 Published development or research report or study

Publication series

NameTUCS Technical Reports


  • Asynchronous circuits
  • the B Method
  • Action Systems
  • data refinement


Dive into the research topics of 'Component-Based Asynchronous Circuit Design in B'. Together they form a unique fingerprint.

Cite this