Component-Based Asynchronous Circuit Design in B


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… (More)


Cite this paper

@inproceedings{Sere2000ComponentBasedAC, title={Component-Based Asynchronous Circuit Design in B}, author={Kaisa Sere and Marina A. Wald{\'e}n}, year={2000} }