Sciweavers

4772 search results - page 3 / 955
» An approach to interface synthesis
Sort
View
GLVLSI
2003
IEEE
130views VLSI» more  GLVLSI 2003»
13 years 11 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
KBSE
1994
IEEE
13 years 10 months ago
A Formal Approach to Domain-Oriented Software Design Environments
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
Michael R. Lowry, Andrew Philpot, Thomas Pressburg...
DATE
2008
IEEE
111views Hardware» more  DATE 2008»
14 years 7 days ago
A Formal Approach To The Protocol Converter Problem
In the absence of a single module interface standard, integration of pre-designed modules in System-on-Chip design often requires the use of protocol converters. Existing approach...
Karin Avnit, Vijay D'Silva, Arcot Sowmya, S. Rames...
NIME
2004
Springer
115views Music» more  NIME 2004»
13 years 11 months ago
The Case Study of Application of Advanced Gesture Interface and Mapping Interface, - Virtual Musical Instrument "Le SuperPolm" a
We will discuss the case study of application of the Virtual Musical Instrument and Sound Synthesis. Doing this application, the main subject is advanced Mapping Interface in orde...
Suguru Goto, Takahiko Suzuki
ISSS
1999
IEEE
151views Hardware» more  ISSS 1999»
13 years 10 months ago
Optimized System Synthesis of Complex RT Level Building Blocks from Multirate Dataflow Graphs
In order to cope with the ever increasing complexity of todays application specific integrated circuits, a building block based design methodology is established. The system is co...
Jens Horstmannshoff, Heinrich Meyr