loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
24 th. EUROMICRO Conference Volume 1 (EUROMICRO'98)
Design of Control Dominated Hardware Based on Formal Methods
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
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
Usage of this product signifies your acceptance of the Terms of Use.