Functional verification: approaches and challenges

It's a fact that functional verification (FV) is paramount within the hardware's design cycle. With so many new techniques available today to help with FV, which techniques should we really use? The answer is not straightforward and is often confusing and costly. The tools and techniques to be used in a project have to be decided upon early in the design cycle to get the best value for these new verification methods. This paper gives a quick survey in the form of an overview on FV, establishes the difference between verification and validation, describes the bottlenecks that appear in the verification process, examines the challenges in FV and exposes the current FV technologies and trends.

Spanish as a World Language: The Interplay of Globalized Localization and Localized Globalization.

This article argues that two movements in constant interplay operate within the historical trajectory of the Spanish language: the localization that becomes globalized and the globalization that becomes localized. Equally, this article illustrates how, at the same time that Spanish is expanding in the world, new idiosyncratic and localized forms of the language are emerging. This article deals with the issues of standardization and language ideology, language contact, and redefinition of identities. The article focuses on three geographic loci: Spain, where Spanish opposes Catalan, Basque, and Galician; the United States, where migrants' Spanish dialects converge and confront English and each other; and finally, Latin America, where Spanish is in contact with Portuguese, indigenous, and Afro-Hispanic languages. The concepts that structure the discussion explain both language expansion and contraction as well as the conflict and constant negotiation between a language's standardized forms and its regional and social varieties.

Soft balancing in the Americas: Latin American opposition to U.S. intervention, 1898–1936

In the aftermath of the 2003 U.S.-led invasion of Iraq, scholars of international relations debated how to best characterize the rising tide of global opposition. The concept of “soft balancing” emerged as an influential, though contested, explanation of a new phenomenon in a unipolar world: states seeking to constrain the ability of the United States to deploy military force by using multinational organizations, international law, and coalition building. Soft balancing can also be observed in regional unipolar systems. Multinational archival research reveals how Argentina, Mexico, and other Latin American countries responded to expanding U.S. power and military assertiveness in the early twentieth century through coordinated diplomatic maneuvering that provides a strong example of soft balancing. Examination of this earlier case makes an empirical contribution to the emerging soft-balancing literature and suggests that soft balancing need not lead to hard balancing or open conflict.

Greek, Latin, and the Indian Civil Service

This is a slightly revised version of an article first published in the Cambridge Classical Journal, vol. 51 (2005), pp. 35-71.