Sciweavers

766 search results - page 20 / 154
» Synthesis of Synchronous Interfaces
Sort
View
GLVLSI
2003
IEEE
130views VLSI» more  GLVLSI 2003»
14 years 1 months ago
Mixing ATPG and property checking for testing HW/SW interfaces
A critical part of the design of HW/SW systems concerns the definition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but ...
Alessandro Fin, Franco Fummi, Graziano Pravadelli
HASE
1997
IEEE
14 years 25 days ago
Automated Computation of Decomposable Synchronization Conditions
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
Gilberto Matos, James M. Purtilo, Elizabeth L. Whi...
NIME
2004
Springer
100views Music» more  NIME 2004»
14 years 2 months ago
TOASTER and KROONDE: High-Resolution and High-Speed Real-time Sensor Interfaces
High capacity of transmission lines (Ethernet in particular) is much higher than what imposed by MIDI today. So it is possible to use capturing interfaces with high-speed and high...
Thierry Coduys, Cyrille Henry, Arshia Cont
ISCAS
2003
IEEE
96views Hardware» more  ISCAS 2003»
14 years 1 months ago
Interface design approach for system on chip based on configuration
Communication synthesis is an essential step in hardware/software co-synthesis: many embedded systems use automatic generation of interface for point to point communication or use...
Issam Maalej, Guy Gogniat, Mohamed Abid, Jean Luc ...
ACSD
2001
IEEE
134views Hardware» more  ACSD 2001»
14 years 8 days ago
Embedding Imperative Synchronous Languages in Interactive Theorem Provers
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
Klaus Schneider