DocumentCode
3366686
Title
Communication Structure Refinement using Temporal Constraints Analysis
Author
Tsikhanovich, A. ; Aboulhamid, E.M. ; Bois, G.
Author_Institution
Univ. de Montreal, Montreal
fYear
2007
fDate
11-14 Dec. 2007
Firstpage
1284
Lastpage
1287
Abstract
In this paper we propose an approach for communication structure exploration and refinement in system design based on temporal constraints analysis. Local consistency property method is generalized to provide an automatic protocol generation or to signal temporal specification inconsistencies, reducing in this way the time needed for the communication design space exploration.
Keywords
telecommunication; timing circuits; automatic protocol generation; communication design space exploration; communication structure exploration; communication structure refinement; local consistency property method; signal temporal specification inconsistencies; system design; temporal constraints analysis; Acceleration; Control systems; Design methodology; Process design; Protocols; Signal design; Signal generators; Space exploration; System analysis and design; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
Electronics, Circuits and Systems, 2007. ICECS 2007. 14th IEEE International Conference on
Conference_Location
Marrakech
Print_ISBN
978-1-4244-1377-5
Electronic_ISBN
978-1-4244-1378-2
Type
conf
DOI
10.1109/ICECS.2007.4511232
Filename
4511232
Link To Document