Sciweavers

894 search results - page 8 / 179
» Optimizations for LTL Synthesis
Sort
View
AUTOMATICA
2007
84views more  AUTOMATICA 2007»
14 years 11 months ago
Nonsmooth optimization for multiband frequency domain control design
Multiband frequency domain synthesis consists in the minimization of a finite family of closed-loop transfer functions on prescribed frequency intervals. This is an algorithmical...
Pierre Apkarian, Dominikus Noll
ASYNC
2005
IEEE
132views Hardware» more  ASYNC 2005»
15 years 4 months ago
High Level Synthesis of Timed Asynchronous Circuits
This paper proposes applying a logic synthesis approach to high level synthesis from SpecC specifications to timed asynchronous gate-level circuits. The state-based logic synthes...
Tomohiro Yoneda, Atsushi Matsumoto, Manabu Kato, C...
ICASSP
2011
IEEE
14 years 2 months ago
Synthesis filter bank optimization with lattice structure constraints in 2D separable image processing
In one-dimensional signal processing, the perfect reconstruction (PR) synthesis FB is not unique for a given analysis LP oversampled filter bank (FB). Optimal Design methods have...
Li Chai, Yuxia Sheng, Jingxin Zhang
GLVLSI
2003
IEEE
194views VLSI» more  GLVLSI 2003»
15 years 4 months ago
RF CMOS circuit optimizing procedure and synthesis tool
In this paper, we discuss a methodology to design and synthesize analog CMOS components such as RF amplifiers. The inputs of the synthesis tool are the circuit specifications desc...
Chandrasekar Rajagopal, Karthik Sridhar, Adrian Nu...
CODES
2005
IEEE
15 years 4 months ago
Conflict analysis in multiprocess synthesis for optimized system integration
This paper presents a novel approach for multiprocess synthesis supporting well-tailored module integration at system level. The goal is to extend the local scope of existing arch...
Oliver Bringmann, Wolfgang Rosenstiel, Axel Sieben...