We describe a polynomial-time algorithm for min-max timing simulation of combinational circuits. Our algorithm reports conservative bounds on the propagationdelays from each primary input to each gate, for use in the timing verification of fundamental-mode asynchronous circuits. A new reconvergent fanout analysis technique is presented. Our algorithm produces more accurate results than previous...

In statistical methods, such as statistical static timing analysis, Gaussian mixture model (GMM) is a useful tool for representing a non-Gaussian distribution and handling correlation easily. In order to repeat various statistical operations such as summation and maximum for GMMs efficiently, the number of components should be restricted around two. In this paper, we propose a method for reduci...

Timing diagrams are popular in hardware design. They have been formalized for use in reasoning tasks, such as computer-aided veriication. These eeorts have largely treated timing diagrams as interfaces to established notations for which veriication is decidable; this has restricted timing diagrams to expressing only regular language properties. This paper presents a timing diagram logic capable...

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...

Temporal codes and neural temporal processing architectures (neural timing nets) that potentially subserve perception of pitch and rhythm are discussed. We address 1) properties of neural interspike interval representations that may underlie basic aspects of musical tonality (e.g. octave similarities), 2) implementation of pattern-similarity comparisons between interval representations using fe...

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...

The success of new start-up firms often depends on timing. It is valuable for the potential entrepreneur to wait for the right moment before starting a new firm. In this paper we provide a theoretical model to determine the optimal time for starting a new firm. We integrate insights from the real option theory with the theory on entrepreneurial market entry. An important and novel feature of ou...

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 ...

The emission times of laser-triggered electrons from a sharp tungsten tip are directly characterized under ultrafast, near-infrared laser excitation at Keldysh parameters of 6.6<γ<19.1. Emission delays up to 10 fs are observed, which are inferred from the energy gain of photoelectrons emitted into a synchronously driven microwave cavity. Few femtosecond timing resolution is achieved in a config...