Sciweavers

936 search results - page 24 / 188
» The Synthesis Problem of Netcharts
Sort
View
ICCAD
1994
IEEE
92views Hardware» more  ICCAD 1994»
13 years 11 months ago
Synthesis of manufacturable analog circuits
? We describe a synthesis system that takes operating range constraints and inter- and intra- circuit parametric manufacturing variations into account while designing a sized and b...
Tamal Mukherjee, L. Richard Carley, Rob A. Rutenba...
ICCAD
2000
IEEE
124views Hardware» more  ICCAD 2000»
14 years 2 days ago
A Methodology for Verifying Memory Access Protocols in Behavioral Synthesis
— Memory is one of the most important components to be optimized in the several phases of the synthesis process. ioral synthesis, a memory is viewed as an abstract construct whic...
Gernot Koch, Taewhan Kim, Reiner Genevriere
CDC
2008
IEEE
14 years 2 months ago
Weight selection for gap robustness with degree-constrained controllers
— In modern robust control, control synthesis may be cast as an interpolation problem where the interpolant relates to robustness and performance criteria. In particular, robustn...
Johan Karlsson, Tryphon T. Georgiou, Anders Lindqu...
DATE
2005
IEEE
97views Hardware» more  DATE 2005»
14 years 1 months ago
Efficient Solution of Language Equations Using Partitioned Representations
A class of discrete event synthesis problems can be reduced to solving language equations F • X ⊆ S, where F is the fixed component and S the specification. Sequential synthes...
Alan Mishchenko, Robert K. Brayton, Jie-Hong Rolan...
ICCAD
1998
IEEE
143views Hardware» more  ICCAD 1998»
13 years 12 months ago
Real-time operating systems for embedded computing
We survey the state-of-the-art in real-time operating systems (RTOSs) from the system synthesis point of view. RTOSs have a very long research history which provides important the...
Serge Hustin, Miodrag Potkonjak, Eric Verhulst, Wa...