Design of Control Dominated Hardware Based on Formal Methods

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Werner Grass Articles by Stefan Lenk Articles by Christine Sontheim

24 th. EUROMICRO Conference Volume 1 (EUROMICRO'98)

Västerås, Sweden

August 25-August 27

ISBN: 0-8186-8646-4

	ASCII Text	x
	Werner Grass, Stefan Lenk, Christine Sontheim, "Design of Control Dominated Hardware Based on Formal Methods," EUROMICRO Conference, vol. 1, pp. 10357, 24 th. EUROMICRO Conference Volume 1 (EUROMICRO'98), 1998.

	BibTex	x
	@article{ 10.1109/EURMIC.1998.711827, author = {Werner Grass and Stefan Lenk and Christine Sontheim}, title = {Design of Control Dominated Hardware Based on Formal Methods}, journal ={EUROMICRO Conference}, volume = {1}, year = {1998}, issn = {1089-6503}, pages = {10357}, doi = {http://doi.ieeecomputersociety.org/10.1109/EURMIC.1998.711827}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - EUROMICRO Conference TI - Design of Control Dominated Hardware Based on Formal Methods SN - 1089-6503 SP EP A1 - Werner Grass, A1 - Stefan Lenk, A1 - Christine Sontheim, PY - 1998 KW - null VL - 1 JA - EUROMICRO Conference ER -

Werner Grass, Universität Passau

Stefan Lenk, Universität Passau

Christine Sontheim, Universität Passau

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EURMIC.1998.711827

We present an approach for synchronous design of communication units. A graphical design entry based on timing diagrams allows the designer to comfortably specify the abstract behavior of a communication unit. Graphical specifications are formalized using a process algebra capable of explicitly modeling data flow. Applying correct transformation rules a specification is iteratively transformed into an implementation description. The applicability of this approach is demonstrated by a sensoring interface for a PC bus.

Citation:

Werner Grass, Stefan Lenk, Christine Sontheim, "Design of Control Dominated Hardware Based on Formal Methods," euromicro, vol. 1, pp.10357, 24 th. EUROMICRO Conference Volume 1 (EUROMICRO'98), 1998

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.