STMicroelectronics

About: STMicroelectronics is a company organization based out in Geneva, Switzerland. It is known for research contribution in the topics: Transistor & Signal. The organization has 17172 authors who have published 29543 publications receiving 300766 citations. The organization is also known as: SGS-Thomson & STM.

In-Check system: A highly integrated silicon Lab-on-Chip for sample preparation, PCR amplification and microarray detection of nucleic acids directly from biological samples

Abstract: The development of a simple and rapid point-of-care clinical diagnostic device is essential for the evolution of sensing in healthcare technologies. In this study we introduce a fully integrated method for the detection of nucleic acids from cultured human cells and whole blood using the In-Check system supplied by STMicroelectronics. This work represents the first step toward the integration of sample preparation, nucleic acids amplification and DNA microarray detection into a simple and fast silicon Lab-on-Chip system. In particular, we report the experimental results for the detection of the human β-globine gene (HBB) directly from defined numbers of cultured human cells and whole blood in less than 2 h. The influence of PCR inhibitors was also evaluated when the detection was performed on whole blood. The sample preparation process was entirely performed in a single step in the silicon microreactor, and assessed by RT-qPCR and direct DNA quantification. The extracted DNA, after PCR amplification, was hybridized on the DNA microarray. Both the DNA amount and the amplification efficiency were higher than those obtained with a conventional multi-step process used for comparison. Altogether, the results demonstrate the feasibility of casting a sample preparation step in miniaturized microfluidics systems to develop fully integrated, simple and rapid sample-to-detection nucleic acids-based diagnostic systems.

Symmetrical cell layout for static RAM

Abstract: A symmetrical structural layout for the principal components of each cell in a group of four mutually contiguous cells of an array of memory cells is disclosed. A common drain supply node is centrally disposed within the group and is coincident with the intersection of first and second mutually perpendicular axes of symmetry. Corresponding components of contiguous cells in each row and column are symmetrically disposed with respect to each of the first and second axes of symmetry. In a preferred embodiment, the principal components of each cell include a plurality of insulated gate field-effect transistors each having a source diffusion region and a drain diffusion region formed within the substrate and a plurality of impedance devices electrically connecting the common drain supply node to the drain diffusions of the transistors in each cell. The impedance devices extend radially from the common drain supply node into the interior of each cell, and at least one of the diffused regions of each transistor in each cell is formed in common with a diffused region of a transistor of a contiguous cell.

LusSy: An open tool for the analysis of systems-on-a-chip at the transaction level

Abstract: We describe a toolbox for the analysis of Systems-on-a-chip written in SystemC at the transaction level. The tool is able to extract information from SystemC code, and to build a set of parallel automata that capture the semantics of a SystemC design, including the transaction-level specific constructs. As far as we know, this provides the first executable formal semantics of SystemC. Being implemented as a traditional compiler front-end, it is able to deal with general SystemC designs. The intermediate representation is now connected to existing formal verification tools via appropriate encodings. The toolbox is open and other tools will be used in the future.

Farfalle: parallel permutation-based cryptography

Abstract: In this paper, we introduce Farfalle , a new permutation-based construction for building a pseudorandom function (PRF). The PRF takes as input a key and a sequence of arbitrary-length data strings, and returns an arbitrary-length output. It has a compression layer and an expansion layer , each involving the parallel application of a permutation. The construction also makes use of LFSR-like rolling functions for generating input and output masks and for updating the inner state during expansion. On top of the inherent parallelism, Farfalle instances can be very efficient because the construction imposes less requirements on the underlying primitive than, e.g., the duplex construction or typical block cipher modes. Farfalle has an incremental property: compression of common prefixes of inputs can be factored out. Thanks to its input-output characteristics, Farfalle is really versatile. We specify simple modes on top of it for authentication, encryption and authenticated encryption, as well as a wide block cipher mode. As a showcase, we present Kravatte, a very efficient instance of Farfalle based on Keccak- p [1600, n r ] permutations and formulate concrete security claims against classical and quantum adversaries. The permutations in the compression and expansion layers of Kravatte have only 6 rounds apiece and the rolling functions are lightweight. We provide a rationale for our choices and report on software performance.

Method to parameterize and recognize circular gestures on touch sensitive surfaces

Abstract: A method to parameterize and recognize circular gestures on touch sensitive surfaces includes dividing the touch sensitive surface into four quadrants, detecting a transition from a first quadrant into a second quadrant, time-stamping and tracking each detected quadrant transition, and computing the time between quadrant transitions so that the circular speed and direction of the circular gestures on the touch sensitive surface can be detected. The detected direction can be either a clockwise or a counter-clockwise direction.