Sciweavers

1329 search results - page 98 / 266
» Constraint-based model synthesis
Sort
View
ICCAD
1994
IEEE
104views Hardware» more  ICCAD 1994»
15 years 10 months ago
Module selection and data format conversion for cost-optimal DSP synthesis
In high level synthesis each node of a synchronous dataflow graph (DFG) is scheduled to a specific time and allocated to a processor. In this paper we present new integer linear p...
Kazuhito Ito, Lori E. Lucke, Keshab K. Parhi
ICCAD
1994
IEEE
127views Hardware» more  ICCAD 1994»
15 years 10 months ago
Synthesis of concurrent system interface modules with automatic protocol conversion generation
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
Bill Lin, Steven Vercauteren
DAC
1994
ACM
15 years 10 months ago
Synthesis of Instruction Sets for Pipelined Microprocessors
We present a systematic approach to synthesize an instruction set such that the given application software can be efficiently mapped to a parameterized, pipelined microarchitectur...
Ing-Jer Huang, Alvin M. Despain
ICAS
2009
IEEE
131views Robotics» more  ICAS 2009»
15 years 10 months ago
Gait Synthesis for Legged Underwater Vehicles
Legged autonomous vehicles move by executing patterns of leg-joint angles known as gaits. Synthesizing gaits by hand is a complex and time-consuming task which becomes even more c...
Andrew German, Michael R. M. Jenkin
ASYNC
2001
IEEE
164views Hardware» more  ASYNC 2001»
15 years 10 months ago
Synthesis and Implementation of a Signal-Type Asynchronous Data Communication Mechanism
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...
Alexandre Yakovlev, Fei Xia, Delong Shang