A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

The rights to a deceased's body and body parts : in the matter of Gray (2000) QSC 390 (12/10/2000).

Decision In the Matter of Gray highlights complications that advancing medical technology causes to the law - case concerns the issue of removal of semen from a deceased man - how the courts deal with matters concerning medical technology in the absence of specific legislation or established case law - legal and moral questions raised by the case.

The Tampa decision : refugee rights versus the executive's power to detain and expel unlawful non-citizens

In Ruddock and Others v Vadarlis and Others the Federal Court had to balance two fundamental but competing rights, the right of the state to secure its frontiers and the rights of individuals not to be subjected to unlawful detention - Court's task was hampered by intense public debate over the illegal refugee crisis - in the wake of 11 September 2001 and the Tampa crisis, the Federal Government has rushed through several amendments to migration laws and border protection legislation.

Strategies for price reduction of HIV medicines under a monopoly situation in Brazil

ABSTRACT OBJECTIVE To analyze Government strategies for reducing prices of antiretroviral medicines for HIV in Brazil. METHODS Analysis of Ministry of Health purchases of antiretroviral medicines, from 2005 to 2013. Expenditures and costs of the treatment per year were analyzed and compared to international prices of atazanavir. Price reductions were estimated based on the terms of a voluntary license of patent rights and technology transfer in the Partnership for Productive Development Agreement for atazanavir. RESULTS Atazanavir, a patented medicine, represented a significant share of the expenditures on antiretrovirals purchased from the private sector. Prices in Brazil were higher than international references, and no evidence was found of a relationship between purchase volume and price paid by the Ministry of Health. Concerning the latest strategy to reduce prices, involving local production of the 200 mg capsule, the price reduction was greater than the estimated reduction. As for the 300 mg capsule, the amounts paid in the first two years after the Partnership for Productive Development Agreement were close to the estimated values. Prices in nominal values for both dosage forms remained virtually constant between 2011 (the signature of the Partnership for Productive Development Agreement), 2012 and 2013 (after the establishment of the Partnership). CONCLUSIONS Price reduction of medicines is complex in limited-competition environments. The use of a Partnership for Productive Development Agreement as a strategy to increase the capacity of local production and to reduce prices raises issues regarding its effectiveness in reducing prices and to overcome patent barriers. Investments in research and development that can stimulate technological accumulation should be considered by the Government to strengthen its bargaining power to negotiate medicines prices under a monopoly situation.

Patente farmacêutica: especificidades e tutela

Dissertação de mestrado em Direito dos Contratos e da Empresa

Entrepreneurial Orientation, Intangible Assets and Firm Growth: the impact of ‘Spirit and Material’ on the growth of Chinese private firms

This paper has three contributions. First, it shows how field work within small firms in PR Chinese has provided new evidence which enables us to measure and calibrate Entrepreneurial Orientation (EO), as ‘spirit’, and Intangible Assets (IA), as ‘material’, for use in models of small firm growth. Second, it uses inter-item correlation analysis and both exploratory and confirmatory factor analysis to provide new measures of EO and IA, in index and in vector form, for use in econometric models of firm growth. Third, it estimates two new econometric models of small firm employment growth in PR China, under the null hypothesis of Gibrat’s Law, using our two new index-based and vector-based measures of EO and IA. Estimation is by OLS with adjustment for heteroscedasticity, and for sample selectivity. Broadly, it finds that EO attributes have had little significant impact on small firm growth, and indeed innovativeness and pro-activity paradoxically may even dampen growth. However, IA attributes have had a positive and significant impact on growth, with networking, and technological knowledge being of prime importance, and intellectual property and human capital being of lesser but still significant importance. In the light of these results, Gibrat’s Law is generalized, and Jovanovic’s learning theory is extended, to emphasise the importance of IA to growth. These findings cast new empirical light on the oft-quoted national slogan in PR China of “spirit and material”. So far as small firms are concerned, this paper suggests that their contribution to PR China’s remarkable economic growth is not so much attributable to the ‘spirit’ of enterprise (as suggested by propaganda) as, more prosaically, to the pursuit of the ‘material’.

Innovation or Imitation? The effect of spillovers and competitive pressure on firms' R&D strategy choice

This article provides a theoretical and empirical analysis of a firm's optimal R&D strategy choice. In this paper a firm's R&D strategy is assumed to be endogenous and allowed to depend on both internal firms. characteristics and external factors. Firms choose between two strategies, either they engage in R&D or abstain from own R&D and imitate the outcomes of innovators. In the theoretical model this yields three types of equilibria in which either all firms innovate, some firms innovate and others imitate, or no firm innovates. Firms'equilibrium strategies crucially depend on external factors. We find that the efficiency of intellectual property rights protection positively affects firms'incentives to engage in R&D, while competitive pressure has a negative effect. In addition, smaller firms are found to be more likely to become imitators when the product is homogeneous and the level of spillovers is high. These results are supported by empirical evidence for German .rms from manufacturing and services sectors. Regarding social welfare our results indicate that strengthening intellectual property protection can have an ambiguous effect. In markets characterized by a high rate of innovation a reduction of intellectual property rights protection can discourage innovative performance substantially. However, a reduction of patent protection can also increase social welfare because it may induce imitation. This indicates that policy issues such as the optimal length and breadth of patent protection cannot be resolved without taking into account specific market and firm characteristics. Journal of Economic Literature Classification Numbers: C35, D43, L13, L22, O31. Keywords: Innovation; imitation; spillovers; product differentiation; market competition; intellectual property rights protection.

Nota al artículo "El sistema de las Creative commons"

Después de leer el artículo "El sistema de las Creative Commons" de Marco Marandola1, me gustaría presentar de manera más completa el proyecto de las licencias de Creative commons. Actualmente las palabras copyleft, copyright, open access, creative commons, procomún, se utilizan mucho pero a veces se mezclan conceptos y se informa de manera errónea. Agradezco a los editores la posibilidad de escribir esta nota que personalmente considero de rectificación.

Anàlisi legal del projecte Google books des de la perspectiva dels drets de propietat intel·lectual

Objectiu. Descriure el projecte Google books i analitzar-lo des de la perspectiva legal, tenint en compte els tres agents principals implicats: Google, els titulars de drets de propietat intel·lectual i les biblioteques. Metodologia. Anàlisi legal comparada (legislacions dels Estats Units, de França i d'Espanya) de les implicacions del projecte Google books sobre els drets de propietat intel·lectual i el dret de la competència. Estudi de les demandes plantejades contra Google als Estats Units i a Europa, aixícom les possibles conseqüències de l'acord de conciliació adoptat per Google i les associacionsd'autors i editors als Estats Units. Resultats. Google books ha suposat una infracció massiva de drets de propietat intel·lectual. Per determinar si els llibres d'una biblioteca han entrat en el domini públic o no, cal determinar prèviament quina llei nacional resulta aplicable a cada llibre. La posada a disposició a Google books d'obres descatalogades i tan sols fragments de llibres que es troben a la venda no pot dursea terme sense l'autorització dels titulars. En el cas de les obres òrfenes, l'explotació exigeixl'adopció de certes mesures prèvies per garantir els drets dels titulars, en cas que aquests arribina conèixer-se. L'acord de conciliació adoptat als Estats Units entre Google i les associacionsd'autors i editors pot implicar una posició de monopoli per part de Google en relació amb la venda dels llibres descatalogats i les obres òrfenes.

Les llicències de Creative Commons a l'Estat espanyol

[eng] The Creative Commons project in Spain has its beginnings in early 2003, but until one year ago it was not possible to access licenses adapted to Spanish legislation on intellectual property. In addition to this effort of adaptation, other activities have been carried out -centred especially on the dissemination and explanation of the licensing system- and the level of acceptance has been quite positive. This article covers the history of the project and provides an explanation of the licenses and a description of some of the initiatives that this legal system is carrying out.

Net Neutrality and other challenges for the future of the Internet. Proceedings of the 7th International Conference on Internet, Law & Politics. Universitat Oberta de Catalunya, Barcelona, 11-12 July, 2011

Peer-reviewed