The thesis consists of three sections, developing models of intuitionistic set theory in suitable categories. First, the categorical framework in which models are constructed is reviewed, and the theory of all such models, called Basic Intuitionistic Set Theory (BIST), is stated; second, we give a notion of an ideal over a category, with which one can build a model of BIST in which a given topo...

Analog and Mixed-Signal BIST is alive, well, and here now. It works and it saves time and money. There are people and interests ho would like you to believe otherwise. w Position: It is true that there have been a great number of different research efforts into the area of Analog and Mixed Signal BIST. And most efforts appear to be very insular – they are the efforts of a single entity. Seldom ...

As the density of VLSI circuits increases, it becomes attractive to integrate dedicated test logic on a chip. This Built-in Self-Test (BIST) approach not only offers economic benefits but also interesting technical opportunities with respect to hierarchical testing and the reuse of test logic during the application of the circuit. Starting with an overview on test problems, test applications an...

Formerly, IC manufacturers applied DFT and BIST to increase yield and the reliability. However, how to balance redundancy utilization in an embedded memory core is still not known. Choi et al. proposed an approach to balance DFT and BIST. In this paper, some technical background is commented.

This paper compares the performance of linear and non-linear machines when they are used as the Pseudo Random Pattern Generators (PRPG) to detect faults in sequential circuits. Both transition test and fault simulation experiments are conducted. Results show that the non-linear machines have higher transition capability and exhibit better performance than the linear machine.

Embedded memory test and diagnosis is becoming an important issue in system-on-chip (SOC) development. Direct access of the memory cores from the limited number of I/O pins is usually not feasible. Built-in self-diagnosis (BISD), which include built-in self-test (BIST), is rapidly becoming the most acceptable solution. We propose a BISD design and a fault diagnosis system for embedded SRAM. It ...

Microprocessor design techniques have evolved to a point where large systems, such as S/390@ servers, can be constructed using relatively few, but very complex, applicationspecific integrated circuits (ASICs). Delivery of a quality design in a timely fashion requires that several design activities progress simultaneously, with different types of verification used within the various design disci...

Over the last 2-3 years, there has been a major change in the IC industry from being predominantly “functionalbased testing” to being predominantly “scan-based testing” (for new design starts). As recently as 2-3 years ago, the topic of panels was “Is scan-based testing feasible for all products?” The question has now changed to “Can we completely avoid functional testing?” I believe the same t...

A Low Transition LFSR(LT-LFSR) designed by modifying Linear Feedback Shift Register is proposed to produce low power test vectors which are given to Circuit under Test (CUT) to reduce the power consumption by CUT. This technique of generating low power test patterns is performed by increasing the co-relativity between the consecutive vectors by reducing the number of bit flips between successiv...