Functional timing analysis of VLSI circuits containing complex gates

The recent advances in CMOS technology have allowed for the fabrication of transistors with submicronic dimensions, making possible the integration of tens of millions devices in a single chip that can be used to build very complex electronic systems. Such increase in complexity of designs has originated a need for more efficient verification tools that could incorporate more appropriate physical and computational models. Timing verification targets at determining whether the timing constraints imposed to the design may be satisfied or not. It can be performed by using circuit simulation or by timing analysis. Although simulation tends to furnish the most accurate estimates, it presents the drawback of being stimuli dependent. Hence, in order to ensure that the critical situation is taken into account, one must exercise all possible input patterns. Obviously, this is not possible to accomplish due to the high complexity of current designs. To circumvent this problem, designers must rely on timing analysis. Timing analysis is an input-independent verification approach that models each combinational block of a circuit as a direct acyclic graph, which is used to estimate the critical delay. First timing analysis tools used only the circuit topology information to estimate circuit delay, thus being referred to as topological timing analyzers. However, such method may result in too pessimistic delay estimates, since the longest paths in the graph may not be able to propagate a transition, that is, may be false. Functional timing analysis, in turn, considers not only circuit topology, but also the temporal and functional relations between circuit elements. Functional timing analysis tools may differ by three aspects: the set of sensitization conditions necessary to declare a path as sensitizable (i.e., the so-called path sensitization criterion), the number of paths simultaneously handled and the method used to determine whether sensitization conditions are satisfiable or not. Currently, the two most efficient approaches test the sensitizability of entire sets of paths at a time: one is based on automatic test pattern generation (ATPG) techniques and the other translates the timing analysis problem into a satisfiability (SAT) problem. Although timing analysis has been exhaustively studied in the last fifteen years, some specific topics have not received the required attention yet. One such topic is the applicability of functional timing analysis to circuits containing complex gates. This is the basic concern of this thesis. In addition, and as a necessary step to settle the scenario, a detailed and systematic study on functional timing analysis is also presented.

Improving mutual fund market timing measures: a markov switching approach

Market timing performance of mutual funds is usually evaluated with linear models with dummy variables which allow for the beta coefficient of CAPM to vary across two regimes: bullish and bearish market excess returns. Managers, however, use their predictions of the state of nature to deÞne whether to carry low or high beta portfolios instead of the observed ones. Our approach here is to take this into account and model market timing as a switching regime in a way similar to Hamilton s Markov-switching GNP model. We then build a measure of market timing success and apply it to simulated and real world data.

Education, preferences for leisure, and the optimal income tax schedule

Recent advances in dynamic Mirrlees economies have incorporated the treatment of human capital investments as an important dimension of government policy. This paper adds to this literature by considering a two period economy where agents are di erentiated by their preferences for leisure and their productivity, both private information. The fact that productivity is only learnt later in an agent's life introduces uncertainty to agent's savings and human capital choices and makes optimal the use of multi-period tie-ins in the mechanism that characterizes the government policy. We show that optimal policies are often interim ine cient and that the introduction of these ine ciencies may take the form of marginal tax rates on labor income of varying sign and educational policies that include the discouragement of human capital acquisition. With regards to implementation, state-dependent linear taxes implement optimal savings, while human capital policies may require labor income taxes that depend directly on agents' schooling.

Optimal performance fee and flow of funds in asset management contracts

This paper investigates the importance of ow of funds as an implicit incentive in the asset management industry. We build a two-period bi- nomial moral hazard model to explain the trade-o¤s between ow, per- formance and fees where e¤ort depends on the combination of implicit ( ow of funds) and explicit (performance fee) incentives. Two cases are considered. With full commitment, the investor s relevant trade-o¤ is to give up expected return in the second period vis-à-vis to induce e¤ort in the rst period. The more concerned the investor is with today s pay- o¤, the more willing he will be to give up expected return in the second period by penalizing negative excess return in the rst period. Without full commitment, the investor learns some symmetric and imperfect infor- mation about the ability of the manager to obtain positive excess return. In this case, observed returns reveal ability as well as e¤ort choices. We show that powerful implicit incentives may explain the ow-performance relationship with a numerical solution. Besides, risk aversion explains the complementarity between performance fee and ow of funds.

Timing de fundos no Brasil

None

Optimal auctions with multidimensional types and the desirability of exclusion

Within the context of a single-unit, independent private values auction model, we show that if bidder types are multidimensional, then under the optimal auction exclusion of some bidder types will occur. A second contribution of the paper is methodological in nature. In particular, we identify conditions under which an auction model with multidimensional types can be reduced to a model with one dimensional types without loss of generality. Reduction results of this type have achieved the status of folklore in the mechanism design literature. Here, we provide a proof of the reduction result for auctions.

Optimal taxation with gradual learning of types

An important feature of life-cycle models is the presence of uncertainty regarding one’s labor income. Yet this issue, long recognized in different areas, has not received enough attention in the optimal taxation literature. This paper is an attempt to fill this gap. We write a simple 3 period model where agents gradually learn their productivities. In a framework akin to Mirrlees’ (1971) static one, we derive properties of optimal tax schedules and show that: i) if preferences are (weakly) separable, uniform taxation of goods is optimal, ii) if they are (strongly) separable capital income is to rate than others forms of investiment.

Custos de ajustamento e a dinâmica da estrutura de capital em empresas brasileiras

Diversos estudos de Finanças Corporativas consideram os custos associados aos ajustes da estrutura de capital das empresas irrelevantes tanto na forma quanto em magnitude. Este estudo analisou empiricamente a influência dos custos de ajustamento na dinâmica dos ajustes da estrutura de capital de empresas brasileiras de capital aberto no período de 1999 a 2007. A alavancagem foi abordada sob três diferentes cenários, considerando a presença de custos fixos, custos proporcionais e por uma composição de custos fixos e proporcionais através de simulações utilizando um modelo reduzido da estrutura de capital. Em seguida a análise não paramétrica da amostra revelou que as empresas apresentam um comportamento dinâmico em suas decisões de financiamento para o ajuste da estruturas de capital, mas que não se revelou contínuo. A utilização de um modelo de duration mostrou-se adequado para mensurar o intervalo de tempo entre os ajustes da estrutura de capital das empresas. Os resultados são extremamente relevantes e suportam a teoria de um comportamento de rebalanceamento dinâmico pelas empresas de suas estruturas de capital em torno de um intervalo ótimo. Entretanto os ajustes não ocorrem de forma imediata e a persistência de choques à estrutura de capital deve-se em sua maior parte aos custos associados aos ajustes do que a uma possível indiferença à estrutura de capital. . Este trabalho constitui-se como pioneiro no mercado brasileiro acerca dos custos de ajustamento da estrutura de capital e abre espaço para a discussão do comportamento ótimo em torno da estrutura de capital de empresas nacionais.

Análise empírica da presença de "Market timing" no mercado acionário brasileiro

Este trabalho objetiva verificar a existência de “Market Timing” no mercado acionário brasileiro. Os nossos estudos foram divididos em três análises distintas. Primeiro verificamos a presença de “market-timing” nos IPOs e posteriormente expandimos para as ofertas subseqüentes de ações (OSAs). Por último verificamos a persistência dos efeitos do “Market Timing” sobre a estrutura de capital das empresas. Os resultados dos nossos estudos mostram que as empresas brasileiras tendem a emitir mais capital quando o mercado está aquecido. Essas emissões acontecem através de IPOs e de OSAs e alteram a estrutura de capital dessas empresas. Com o passar do tempo essa alteração na estrutura de capital tende a diminuir.

Optimal auctions in a general model of identical goods

In this paper I study optimal auctions of identical goods. There is synergy in the number of goods and independent bidder’s signals.

Are one-sided S,s rules useful proxies for optimal pricing rules?

This article is motivated by the prominence of one-sided S,s rules in the literature and by the unrealistic strict conditions necessary for their optimality. It aims to assess whether one-sided pricing rules could be an adequate individual rule for macroeconomic models, despite its suboptimality. It aims to answer two questions. First, since agents are not fully rational, is it plausible that they use such a non-optimal rule? Second, even if the agents adopt optimal rules, is the economist committing a serious mistake by assuming that agents use one-sided Ss rules? Using parameters based on real economy data, we found that since the additional cost involved in adopting the simpler rule is relatively small, it is plausible that one-sided rules are used in practice. We also found that suboptimal one-sided rules and optimal two-sided rules are in practice similar, since one of the bounds is not reached very often. We concluded that the macroeconomic effects when one-sided rules are suboptimal are similar to the results obtained under two-sided optimal rules, when they are close to each other. However, this is true only when one-sided rules are used in the context where they are not optimal.