Title :
Communication Structure Refinement using Temporal Constraints Analysis
Author :
Tsikhanovich, A. ; Aboulhamid, E.M. ; Bois, G.
Author_Institution :
Univ. de Montreal, Montreal
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;
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
DOI :
10.1109/ICECS.2007.4511232