Sciweavers

769 search results - page 34 / 154
» Timed Circuit Synthesis Using Implicit Methods
Sort
View
ICCAD
2000
IEEE
124views Hardware» more  ICCAD 2000»
14 years 2 months 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
ICRA
2005
IEEE
171views Robotics» more  ICRA 2005»
14 years 4 months ago
Control Method for a 3D Form Display with Coil-type Shape Memory Alloy
- We previously proposed a new 3D form display actuated by shape memory alloy (SMA), which is capable of displaying large scale objects sequentially. Based on our devised method, o...
Masashi Nakatani, Hiroyuki Kajimoto, Kevin Vlack, ...
ICCAD
1999
IEEE
75views Hardware» more  ICCAD 1999»
14 years 2 months ago
Functional timing optimization
A common approach to performance optimization of circuits focuses on re-synthesis to reduce the length of all paths greater than the desired delay . We describe a new delay optimi...
Alexander Saldanha
ICCD
2002
IEEE
152views Hardware» more  ICCD 2002»
14 years 7 months ago
Register Binding Based Power Management for High-level Synthesis of Control-Flow Intensive Behaviors
A circuit or circuit component that does not contain any spurious switching activity, i.e., activity that is not required by its specified functionality, is called perfectly power...
Lin Zhong, Jiong Luo, Yunsi Fei, Niraj K. Jha
ENTCS
2008
115views more  ENTCS 2008»
13 years 10 months ago
Time Separation of Events: An Inverse Method
The problem of "time separation" can be stated as follows: Given a system made of several connected components, each one entailing a local delay known with uncertainty, ...
Emmanuelle Encrenaz, Laurent Fribourg