Generation of Test Vectors for Sequential Cell Verification

For Application Specific Integrated Circuits (ASIC) and System-on-Chip (SOC) designs, Cell - Based Design (CBD) is the most prevalent practice as it guarantees a shorter design cycle, minimizes errors and is easier to maintain. In modern ASIC design, standard cell methodology is practiced with sizable libraries of cells, each containing multiple implementations of the same logic functionality, in order to give the designer differing options based on area, speed or power consumption. For such library cells, thorough verification of functionality and timing is crucial for the overall success of the chip, as even a small error can prove fatal due to the repeated use of the cell in the design. Both formal and simulation based methods are being used in the industry for cell verification. We propose a method using the latter approach that generates an optimized set of test vectors for verification of sequential cells, which are guaranteed to give complete Single Input Change transition coverage with minimal redundancy. Knowledge of the cell functionality by means of the State Table is the only prerequisite of this procedure

What is India speaking? Exploring the "Hinglish" invasion

© 2016 Elsevier B.V. All rights reserved. Language competition models help understand language shift dynamics, and have effectively captured how English has outcompeted various local languages, such as Scottish Gaelic in Scotland, and Mandarin in Singapore. India, with a 125 million English speakers boasts the second largest number of English speakers in the world, after the United States. The 1961-2001 Indian censuses report a sharp increase in Hindi/English Bilinguals, suggesting that English is on the rise in India. To the contrary, we claim supported by field evidence, that these statistics are inaccurate, ignoring an emerging class who do not have full bilingual competence and switch between Hindi and English, communicating via a code popularly known as "Hinglish". Since current language competition models oc clude hybrid practices and detailed local ecological factors, they are inappropriate to capture the current language dynamics in India. Expanding predator-prey and sociolinguistic theories, we draw on local Indian ecological factors to develop a novel three-species model of interaction between Monolingual Hindi speakers, Hindi/English Bilinguals and Hinglish speakers, and explore the long time dynamics it predicts. The model also exhibits Turing instability, which is the first pattern formation result in language dynamics. These results challenge traditional assumptions of English encroachment in India. More broadly, the three-species model introduced here is a first step towards modeling the dynamics of hybrid language scenarios in other settings across the world

Effect of twist level and twist direction of core (double) yarn on dref-3 spun yarn

In this study, an attempt has been made to understand the behaviour of friction spun yarn by introducing doubled yarns as core with diversity in twist level and direction. ‘Z’ twisted 15tex (40s Ne) parent yarn has been used for doubling purposes. To examine the effect of doubling, three twist levels are chosen, viz. 50, 60 and 70 % of the parent yarn twist for both the directions viz. S and Z. Thus, six samples of doubled yarns are prepared. These samples are tested for the count, twist, breaking force and elongation. These yarns are introduced as core into DREF-3 friction spinning system; keeping the sheath fibre constant viz. combed cotton sliver of 0.15 hank for all the samples. The twist direction of the doubled yarn used as core is found to be the influential factor for the breaking force and elongation of the friction spun yar