Abstract
μ-Charts are a synchronous specification language for reactive systems with a compositional semantics. We show how a μ-Chart can be implemented in hardware, using a register and a combinational logic block that represents the transition relation of the system.
Chapter PDF
Similar content being viewed by others
References
A. Biere. Effiziente μ-Kalkiil-Modellpriifung mit binären Entscheidungsdiagrammen. PhD thesis, University of Karlsruhe, 1996. To appear. (in German).
D. Drusinsky-Yoresh. Using Statecharts for Hardware Description and Synthesis. IEEE Transactions on Computer-Aided Design 8(7), pages 798–807, 1989.
D. Drusinsky-Yoresh. A State Assignment for Single-Block Implementation of State Charts. IEEE Transactions on Computer-Aided Design 10(10), pages 1569–1576, 1991.
J. Philipps and P. Scholz. Formal Verification of μ-Charts. 1996. To appear in: TACAS’97.
J. Philipps and P. Scholz. Specifying Reactive Systems with μ-Charts. 1996. To appear in: TAPSOFT’97.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Philipps, J., Scholz, P. (1997). System-Level Hardware Design with µ-Charts. In: Kloos, C.D., Cerny, E. (eds) Hardware Description Languages and their Applications. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35064-6_7
Download citation
DOI: https://doi.org/10.1007/978-0-387-35064-6_7
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5387-5
Online ISBN: 978-0-387-35064-6
eBook Packages: Springer Book Archive