Search results for "self-checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Cristiana Bolchini, Fabio Salice, Donatella Sciuto, Luigi Pomante	Reliable System Specification for Self-Checking Data-Paths	CoRR	2007	DBLP BibTeX RDF
11	Dilip P. Vasudevan, Parag K. Lala, James Patrick Parkerson	Self-Checking Carry-Select Adder Design Based on Two-Rail Encoding.	IEEE Trans. Circuits Syst. I Regul. Pap.	2007	DBLP DOI BibTeX RDF
11	Salvatore Pontarelli, Luca Sterpone, Gian Carlo Cardarilli, Marco Re, Matteo Sonza Reorda, Adelio Salsano, Massimo Violante	Optimization of Self Checking FIR filters by means of Fault Injection Analysis.	DFT	2007	DBLP DOI BibTeX RDF
11	Ming Li, Shiyi Xu, Jialin Cao, Feng Ran, Shiwei Ma	A Design of Pipelined Carry-dependent Sum Adder With its Self-checking Structure.	ATS	2006	DBLP DOI BibTeX RDF
11	Cristiana Bolchini, Fabio Salice, Donatella Sciuto, Luigi Pomante	Reliable System Specification for Self-Checking Data-Paths.	DATE	2005	DBLP DOI BibTeX RDF
11	Ronald F. DeMara, Carthik A. Sharma	Self-Checking Fault Detection using Discrepancy Mirrors.	PDPTA	2005	DBLP BibTeX RDF
11	Goran Lj. Djordjevic, Mile K. Stojcev, Tatjana R. Stankovic	Approach to partially self-checking combinational circuits design.	Microelectron. J.	2004	DBLP DOI BibTeX RDF
11	Mile K. Stojcev, Goran Lj. Djordjevic, Tatjana R. Stankovic	Implementation of self-checking two-level combinational logic on FPGA and CPLD circuits.	Microelectron. Reliab.	2004	DBLP DOI BibTeX RDF
11	Peter D. Hyde, G. Russell	ASSEC: An Asynchronous Self-Checking RISC-based Processor.	DSD	2004	DBLP DOI BibTeX RDF
11	Daniel Marienfeld, Egor S. Sogomonyan, Vitalij Ocheretnij, Michael Gössel	A new self-checking multiplier by use of a code-disjoint sum-bit duplicated adder.	ETS	2004	DBLP DOI BibTeX RDF
11	Egor S. Sogomonyan, Daniel Marienfeld, Vitalij Ocheretnij, Michael Gössel	Self-checking Carry-selectAdder with Sum-bit Duplication.	ARCS Workshops	2004	DBLP BibTeX RDF
11	Peter D. Hyde, G. Russell	A Comparative Study of the Design of Synchronous and Asynchronous Self-Checking RISC Processors.	IOLTS	2004	DBLP DOI BibTeX RDF
11	Gunjan Khanna, Padma Varadharajan, Saurabh Bagchi	Self Checking Network Protocols: A Monitor Based Approach.	SRDS	2004	DBLP DOI BibTeX RDF
11	Peter D. Hyde	A pipelined asynchronous self-checking RISC-based processor.		2004	RDF
11	Parag K. Lala, Alfred L. Burress	Self-checking logic design for FPGA implementation.	IEEE Trans. Instrum. Meas.	2003	DBLP DOI BibTeX RDF
11	Luca Schiano, Cecilia Metra, Diego Marino	Self-checking design, implementation, and measurement of a controller for track-side railway systems.	IEEE Trans. Instrum. Meas.	2003	DBLP DOI BibTeX RDF
11	Simon W. Moore, Ross J. Anderson, Robert D. Mullins, George S. Taylor, Jacques J. A. Fournier	Balanced self-checking asynchronous logic for smart card applications.	Microprocess. Microsystems	2003	DBLP DOI BibTeX RDF
11	Spiridon Nikolaidis 0001, E. Karaolis, Athanasios Kakarountas, Kyriakos Papadomanolakis, Constantinos E. Goutis	A Methodology for Calculating the Undetectable Double-Faults in Self-Checking Circuits.	J. Circuits Syst. Comput.	2003	DBLP DOI BibTeX RDF
11	Petros Oikonomakos, Mark Zwolinski, Bashir M. Al-Hashimi	Versatile High-Level Synthesis of Self-Checking Datapaths Using an On-Line Testability Metric.	DATE	2003	DBLP DOI BibTeX RDF
11	Cristiana Bolchini, Fabio Salice, Donatella Sciuto, R. Zavaglia	An Integrated Design Approach for Self-Checking FPGAs.	DFT	2003	DBLP DOI BibTeX RDF
11	Michele Favalli, Cecilia Metra	Problems Due to Open Faults in the Interconnections of Self-Checking Data-Paths.	DATE	2002	DBLP DOI BibTeX RDF
11	Fernando M. Gonçalves, Marcelino B. Santos, Isabel C. Teixeira, João Paulo Teixeira 0001	Self-Checking and Fault Tolerance Quality Assessment Using Fault Sampling.	DFT	2002	DBLP DOI BibTeX RDF
11	Parag K. Lala, Alvernon Walker	A Fine Grain Configurable Logic Block for Self-checking FPGAs.	VLSI Design	2001	DBLP DOI BibTeX RDF
11	Athanasios P. Kakarountas, Vasileios Kokkinos, Costas E. Goutis	Design of low-power on-line reconfigurable datapaths using self-checking circuits.	ICECS	2001	DBLP DOI BibTeX RDF
11	Anzhela Yu. Matrosova, K. Nikitin, Olga Goloubeva	Totally Self-Checking FSM Design Based on Multilevel Synthesis Methods and FPGA Implemetation.	IOLTW	2001	DBLP DOI BibTeX RDF
11	Anzhela Yu. Matrosova, Ilya Levin, Sergey Ostanin	Self-checking Synchronous FSM Network Design with Low Overhead.	VLSI Design	2000	DBLP DOI BibTeX RDF
11	Cecilia Metra, Michele Favalli, Bruno Riccò	Signal Coding and CMOS Gates for Combinational Functional Blocks of Very Deep Submicron Self-checking Circuits.	VLSI Design	2000	DBLP DOI BibTeX RDF
11	Andrej A. Morosov, Valerij V. Saposhnikov, Vladimir V. Saposhnikov, Michael Gössel	New Self-Checking Circuits by Use of Berger-Codes.	IOLTW	2000	DBLP DOI BibTeX RDF
11	Margrit Reni Krug, Marcelo Lubaszewski, José Manuel Martins Ferreira, Gustavo Ribeiro da Costa Alves	Implementing a Self-Checking PROFIBUS Slave.	LATW	2000	DBLP BibTeX RDF
11	Xrysovalantis Kavousianos, Dimitris Nikolos, G. Foukarakis, T. Gnardellis	New efficient totally self-checking Berger code checkers.	Integr.	1999	DBLP DOI BibTeX RDF
11	Parag K. Lala, Alfred L. Burress	Self-Checking Logic Design for LUT-Based FPGAs.	FPGA	1999	DBLP DOI BibTeX RDF
11	A. P. Kakaroudas, Kyriakos Papadomanolakis, E. Karaolis, Spiros Nikolaidis 0001, Nikolaos Alachiotis 0002, Costas E. Goutis	Hardware and Power Requirements of Self-checking circuits.	ICECS	1999	DBLP DOI BibTeX RDF
11	Cecilia Metra, Flavio Giovanelli, Mani Soma, Bruno Riccò	Self-checking scheme for very fast clocks' skew correction.	ITC	1999	DBLP DOI BibTeX RDF
11	Fadi Busaba, Parag K. Lala, Alvernon Walker	On Self-Checking Design of CMOS Circuits for Multiple Faults.	VLSI Design	1998	DBLP DOI BibTeX RDF
11	Andrej A. Morosov, Valerij V. Saposhnikov, Vladimir V. Saposhnikov, Michael Gössel	Self-Checking Combinational Circuits with Unidirectionally Independent Outputs.	VLSI Design	1998	DBLP DOI BibTeX RDF
11	Jien-Chung Lo	A Case Study of Self-Checking Circuits Reliability.	VLSI Design	1998	DBLP DOI BibTeX RDF
11	Feodor S. Vainstein	Self Checking Design Technique for Numerical Computations.	VLSI Design	1998	DBLP DOI BibTeX RDF
11	Valerij V. Saposhnikov, Andrej A. Morosov, Vladimir V. Saposhnikov, Michael Gössel	A New Design Method for Self-Checking Unidirectional Combinational Circuits.	J. Electron. Test.	1998	DBLP DOI BibTeX RDF
11	Antonis M. Paschalis, Nikolaos Gaitanis, Dimitris Gizopoulos, Panagiotis Kostarakis	A totally self-checking 1-out-of-3 code error indicator.	ED&TC	1997	DBLP DOI BibTeX RDF
11	Xrysovalantis Kavousianos, Dimitris Nikolos, G. Sidiropoulos	Design of Compact and High speed, Totally Self Checking CMOS Checkers for m-out-of-n Codes.	DFT	1997	DBLP DOI BibTeX RDF	SelfChecking circuits, totally selfchecking circuits, moutofn codes, fault tolerance
11	Uwe Wildner	CASC: compiler assisted self-checking of structural integrity.		1997	RDF
11	Sandip Kundu, Egor S. Sogomonyan, Michael Gössel, Steffen Tarnick	Self-Checking Comparator with One Periodic Output.	IEEE Trans. Computers	1996	DBLP DOI BibTeX RDF
11	Naoki Wakita, Ken-ich Takagi, Yoshihiro Iwadare	The Design of Totally Self-Checking Checkers for Classes of Hadamard Codes.	FTCS	1996	DBLP DOI BibTeX RDF
11	Nobuyasu Kanekawa, Makoto Nohmi, Yoshimichi Satoh, Hiroshi Satoh	Self-Checking and Fail-Safe LSIs by Intra-Chip Redundancy.	FTCS	1996	DBLP DOI BibTeX RDF
11	Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda	Self-Checking and Fault Tolerant Approaches Can Help BIST Fault Coverage: A Case Study.	ED&TC	1996	DBLP DOI BibTeX RDF
11	Uwe Wildner	Compiler Assisted Self-checking of Structural Integrity Using Return Address Hashing.	EDCC	1996	DBLP DOI BibTeX RDF
11	Mariagiovanna Sami, Anna Antola, Vincenzo Piuri	A high-level synthesis approach to optimum design of self-checking circuits.	EURO-DAC	1996	DBLP DOI BibTeX RDF
11	Cecilia Metra, Michele Favalli, Bruno Riccò	Compact and Highly Testable Error Indicator for Self-Checking Circuits.	DFT	1996	DBLP DOI BibTeX RDF
11	Anna Antola, Vincenzo Piuri, Mariagiovanna Sami	Optimizing High-Level Synthesis for Self-Checking Arithmetic Circuits.	DFT	1996	DBLP DOI BibTeX RDF
11	Stanislaw J. Piestrak, Takashi Nanya	Towards Totally Self-Checking Delay-Insensitive Systems.	FTCS	1995	DBLP DOI BibTeX RDF
11	Jamel M. Tahir, Satnam Singh Dlay, Raouf N. Gorgui-Naguib, Oliver R. Hinton	Self-checking architectures for fast Hartley transform.	ED&TC	1995	DBLP DOI BibTeX RDF
11	O. Kebichi, Yervant Zorian, Michael Nicolaidis	Area versus detection latency trade-offs in self-checking memory design.	ED&TC	1995	DBLP DOI BibTeX RDF
11	Cristiana Bolchini, Donatella Sciuto	An Output/State Encoding for Self-Checking Finite State Machine.	ISCAS	1995	DBLP DOI BibTeX RDF
11	Giacomo Buonanno, Fabio Salice, Donatella Sciuto	Behavior of Self-Checking Checkers for 1-out-of-3 Codes Based on Pass-Transistor Logic.	ISCAS	1995	DBLP DOI BibTeX RDF
11	Cristiana Bolchini, R. Montandon, Fabio Salice, Donatella Sciuto	Self-checking FSMs based on a constant distance state encoding.	DFT	1995	DBLP DOI BibTeX RDF
11	Fadi Busaba, Parag K. Lala	Techniques for Self-Checking Combinational Logic Synthesis.	VLSI Design	1994	DBLP DOI BibTeX RDF
11	Fadi Busaba, Parag K. Lala	An Approach for Self-Checking Realization of Interacting Finite State Machines.	VLSI Design	1994	DBLP DOI BibTeX RDF
11	Jörgen Christmansson, Zbigniew Kalbarczyk, Jan Torin	Dependable flight control system by data diversity and self-checking components.	Microprocess. Microprogramming	1994	DBLP DOI BibTeX RDF
11	Michael Nicolaidis, Hakim Bederr	Efficient Implementations of Self-Checking Multiply and Divide Arrays.	EDAC-ETC-EUROASIC	1994	DBLP DOI BibTeX RDF
11	Sayed Mohammad Kia, Sri Parameswaran	Design automation of self checking circuits.	EURO-DAC	1994	DBLP DOI BibTeX RDF	VHDL
11	Cecilia Metra, Michele Favalli, Bruno Riccò	CMOS Self Checking Circuits with Faulty Sequential Functional Block.	DFT	1994	DBLP BibTeX RDF
11	Fabio Salice, Mariagiovanna Sami, Donatella Sciuto	Synthesis of Multi-level Self-Checking Logic.	DFT	1994	DBLP BibTeX RDF
11	Bapiraju Vinnakota, Ramesh Harjani	The Design of Analog Self-Checking Circuits.	VLSI Design	1994	DBLP DOI BibTeX RDF
11	Seyed Mohammad Kia	Novel circuits, methods & automation in self checking systems		1994	RDF
11	M. G. Sami, Donatella Sciuto, Renato Stefanelli	Concurrently self-checking structures for Fsms.	Microprocess. Microprogramming	1993	DBLP DOI BibTeX RDF
11	Michael Nicolaidis	Efficient Implementations of Self-Checking Adders and ALUs.	FTCS	1993	DBLP DOI BibTeX RDF
11	Jien-Chung Lo, Eiji Fujiwara	A Probabilistic Measurement for Totally Self-Checking Circuits.	DFT	1993	DBLP BibTeX RDF
11	Cecilia Metra, Michele Favalli, Piero Olivo, Bruno Riccò	Design Rules for CMOS Self Checking Circuits with Parametric Faults in the Functional Block.	DFT	1993	DBLP BibTeX RDF
11	Michael Nicolaidis	Finitely self-checking circuits and their application on current sensors.	VTS	1993	DBLP DOI BibTeX RDF
11	Dipanwita Roy Chowdhury, Supratik Chakraborty, Parimal Pal Chaudhuri	Synthesis of Self-Checking Sequential Machines Using Cellular Automata.	VLSI Design	1993	DBLP DOI BibTeX RDF
11	Rubin A. Parekhji, G. Venkatesh 0001, Sunil D. Sherlekar	State Assignment for Optimal Design of Monitored Self-Checking Sequential Circuits.	VLSI Design	1993	DBLP DOI BibTeX RDF
11	I. M. Boyarinov	Self-Checking Decoding Algorithm for Reed-Solomon Codes.	Error Control, Cryptology, and Speech Compression	1993	DBLP DOI BibTeX RDF
11	Nick Kanopoulos, Joseph H. Carabetta	Design and implementation of a totally self-checking 16 × 16 bit array multiplier.	Integr.	1992	DBLP DOI BibTeX RDF
11	Jien-Chung Lo, James C. Daly, Michael Nicolaidis	Design of Static CMOS Self-Checking Circuits using Built-In Current Sensing.	FTCS	1992	DBLP DOI BibTeX RDF
11	Zhi-Jian Jiang, R. Venkatesen	Theory and Design of Two-Rail Totally Self-Checking Basic Building Blocks.	ICCD	1992	DBLP DOI BibTeX RDF
11	Sergio Antoy, Richard G. Hamlet	Self-Checking against Formal Specifications.	ICCI	1992	DBLP BibTeX RDF
11	Steven W. Burns, Niraj K. Jha	A totally self-checking checker for a parallel unordered coding scheme.	VTS	1992	DBLP DOI BibTeX RDF
11	Manjit S. Cheema, Parag K. Lala	A new technique for totally self-checking CMOS circuit design for stuck-on and stuck-off faults.	VTS	1992	DBLP DOI BibTeX RDF
11	Marcelo Lubaszewski, Bernard Courtois	On the Design of Self-Checking Boundary Scannable Boards.	ITC	1992	DBLP DOI BibTeX RDF
11	Kholdoun Torki, Michael Nicolaidis, Antônio Otávio Fernandes	A self-checking PLA automatic generator tool based on unordered codes encoding.	EURO-DAC	1991	DBLP BibTeX RDF
11	Michael Nicolaidis, M. Boudjit	New Implementations, Tools, and Experiments for Decreasing Self-Checking PLAs Area Overhead.	ICCD	1991	DBLP DOI BibTeX RDF
11	Niraj K. Jha, Sying-Jyan Wang	Design and Synthesis of Self-Checking VLSI Circuits and Systems.	ICCD	1991	DBLP DOI BibTeX RDF
11	Parag K. Lala, Fadi Y. Busaba, K. C. Yarlagadda	An approach for designing self-checking logic using residue codes.	VTS	1991	DBLP DOI BibTeX RDF
11	Rubin A. Parekhji, G. Venkatesh 0001, Sunil D. Sherlekar	A Methodology for Designing Optimal Self-Checking Sequential Circuits.	ITC	1991	DBLP DOI BibTeX RDF
11	Jens Franzen	Design of run-time fault-tolerant arrays of self-checking processing elements.	ASAP	1990	DBLP DOI BibTeX RDF
11	Frank W. Angelotti	A design theory for totally self-checking and concurrent error detecting arithmetic circuits		1990	RDF
11	Michael Nicolaidis, Bernard Courtois	Self-checking logic arrays.	Microprocess. Microsystems	1989	DBLP DOI BibTeX RDF
11	Rubin A. Parekhji, N. K. Nanda	Design methodology and microdiagnostics development for a self-checking microprocessor.	MICRO	1989	DBLP DOI BibTeX RDF	Zilog Z8000
11	Niraj K. Jha	Design of sufficiently strongly self-checking embedded checkers for systematic and separable codes.	ICCD	1989	DBLP DOI BibTeX RDF
11	Andreas Damm	Self-Checking Coverage of Components of a Distributed Real-Time System.	Fehlertolerierende Rechensysteme	1989	DBLP DOI BibTeX RDF
11	Nikolaos Gaitanis	The Design of Totally Self-Checking TMR Fault-Tolerant Systems.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF
11	Yinghua Min, Jintao Li	Strongly fault secure PLAs and totally self-checking checkers.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF
11	Luca Breveglieri	Design and implementation of a VLSI serial multiplier for fixed point numbers with self-checking capability.	Microprocess. Microprogramming	1988	DBLP DOI BibTeX RDF
11	Yoshihiro Namiki, Yoshiaki Koga	A Composition Method to Realize Self-checking Fault Locators.	Syst. Comput. Jpn.	1988	DBLP DOI BibTeX RDF
11	Jien-Chung Lo, Suchai Thanawastien	The design of fast totally self-checking Berger code checkers based on Berger code partitioning.	FTCS	1988	DBLP DOI BibTeX RDF
11	Nandor Toth	Self-checking processing elements in cellular arrays.	Parcella	1988	DBLP DOI BibTeX RDF
11	Takashi Nanya, Toshiaki Kawamura	On Error Indication for Totally Self-Checking Systems.	IEEE Trans. Computers	1987	DBLP DOI BibTeX RDF
11	Eiji Fujiwara, Kohji Matsuoka	A Self-Checking Generalized Prediction Checker and Its Use for Built-In Testing.	IEEE Trans. Computers	1987	DBLP DOI BibTeX RDF
11	Takashi Nanya, Toshiaki Kawamura	A design approach to self-checking processors.	Syst. Comput. Jpn.	1986	DBLP DOI BibTeX RDF
11	Parag K. Lala	Fault tolerance and self-checking techniques in microprocessor-based system design.	Softw. Microsystems	1985	DBLP DOI BibTeX RDF