The following report introduces the notion of Statistical Static Timing Analysis and the reasons for its ongrowing necessity in current and future integrated circuit manufacturing. This paper is based on a presentation conducted during the MoscowBavarian Joint Advanced Student School in March 2009. Therefore, it serves as an extention to the slides by providing more thorough explanation to them...

Timing analysis plays a vital role in chip design, which analyze whether a chip design meets the timing constraints. The main objectives of timing analysis are speed and accuracy. There are two engines for timing analysis namely Statistical Timing Analysis (STA) and Statistical Static Timing Analysis (SSTA). VLSI CAD has been gaining a lot of interest in both STA and SSTA. As technology continu...

Model checking is an automated approach to the formal ver-iication of hardware and software. To allow model checking tools to be used by the hardware or software designers themselves, instead of by veriication experts, the tools should support speciication methods that correspond closely to the common usage. For hardware systems, timing diagrams form such a commonly used and visually appealing ...

Computing tight WCET bounds in the presence of timing anomalies – found in almost any modern hardware architecture – is a major challenge of timing analysis. In this paper, we renew the discussion about timing anomalies, demonstrating that even simple hardware architectures are prone to timing anomalies. We furthermore complete the list of timing-anomalous cache replacement policies, proving th...

Synaptic plasticity is known to depend on the timing of pre and postsynaptic spikes, a.k.a. spike-timing-dependent plasticity (STDP). This implies that outcomes brought about by STDP should be sensitive to the dynamic properties of pre and postsynaptic neuron activity. Furthermore, because the classical model of STDP does not consider the effect of various pre and postsynaptic spike patterns on...

This paper examines how hedge funds manage their market risk according to changes in aggregate liquidity conditions. Using a large sample of equity-oriented hedge funds during the period of 1994–2008, we find strong evidence that hedge-fund managers possess the ability to time market liquidity at both the style category level and the individual fund level. They increase (decrease) their portfol...

The dependence of yield in respect to design margin is depicted in Figure 1. Below a certain level, yield is destined to be 0, because physical phenomena that occur, and may only become evident after the design phase, in real life devices impair the majority of paths. Increasing margin is going to make the design more robust against those phenomena but also is going to increase the cost of desi...

There is substantial evidence that cryptic female choice (CFC) is present in numerous taxa. Several mechanisms have been proposed for CFC; however, we only have experimental evidence for a few of them. Female control of oviposition timing is a potentially widespread mechanism of CFC, but it has never been experimentally demonstrated. The aims of this study are to test 2 critical predictions of ...