@article{SaposhnikovDimitrievGoesseletal.1996, author = {Saposhnikov, Vl. V. and Dimitriev, Alexej and G{\"o}ssel, Michael and Saposhnikov, Va. V.}, title = {Self-dual parity checking - a new method for on-line testing}, year = {1996}, language = {en} } @article{KunduSogomonyanGoesseletal.1996, author = {Kundu, S. and Sogomonyan, Egor S. and G{\"o}ssel, Michael and Tarnick, Steffen}, title = {Self-checking comparator with one periodiv output}, year = {1996}, language = {en} } @article{GoesselSogomonyan1996, author = {G{\"o}ssel, Michael and Sogomonyan, Egor S.}, title = {A new self-testing parity checker for ultra-reliable applications}, year = {1996}, language = {en} } @article{MoschaninSaposhnikovSaposhnikovetal.1996, author = {Moschanin, Wladimir and Saposhnikov, Vl. V. and Saposhnikov, Va. V. and G{\"o}ssel, Michael}, title = {Synthesis of self-dual multi-output combinational circuits for on-line Teting}, year = {1996}, language = {en} } @article{SogomonyanGoessel1996, author = {Sogomonyan, Egor S. and G{\"o}ssel, Michael}, title = {Concurrently self-testing embedded checkers for ultra-reliable fault-tolerant systems}, year = {1996}, language = {en} } @phdthesis{Gerber1995, author = {Gerber, Stefan}, title = {Using software for fault detection in arithmetical circuits}, pages = {123 S.}, year = {1995}, language = {en} } @article{Gohlke1995, author = {Gohlke, Mario}, title = {A new approach for model-based recognition using colour regions}, year = {1995}, language = {en} } @article{Tarnick1995, author = {Tarnick, Steffen}, title = {Controllable self-checking checkers for conditional concurrent checking}, year = {1995}, language = {en} } @article{HellebrandRajskiTarnicketal.1995, author = {Hellebrand, Sybille and Rajski, Janusz and Tarnick, Steffen and Venkatraman, Srikanth and Courtois, Bernard}, title = {Built-in test for circuits with scan based on reseeding of multiole polynomial linear feedback shift registers}, year = {1995}, language = {en} } @article{HavemannGrivtsovMerkulenko1995, author = {Havemann, Ulrich and Grivtsov, A. G. and Merkulenko, N. N.}, title = {Molecular dynamics simulation of the association of model colloidal particles in two dimensions}, year = {1995}, language = {en} } @article{LiersMichel1995, author = {Liers, Achim and Michel, Mathias}, title = {Erfassung und Bewertung der Elektroenergiequalit{\"a}t in Netzen mit transienten Vorg{\"a}ngen}, year = {1995}, language = {de} } @article{Richter1995, author = {Richter, Peter}, title = {A new deterministic approach for the optimization of cable layouts for power supply systems}, year = {1995}, language = {en} } @phdthesis{Schmidt1995, author = {Schmidt, Henning}, title = {Dynamisch ver{\"a}nderbare Betriebssystemstrukturen}, pages = {XII, 141 S.}, year = {1995}, language = {de} } @book{OPUS4-27228, title = {The journal of supercomputing : trends in parallel operating systems}, editor = {Schr{\"o}der-Preikschat, Wolfgang and Wu, Min-You}, publisher = {Kluwer}, address = {Boston}, pages = {157 S.}, year = {1995}, language = {en} } @article{SchroederPreikschat1995, author = {Schr{\"o}der-Preikschat, Wolfgang}, title = {Experience developing an object-oriented parallel operating system}, year = {1995}, language = {en} } @article{SchroederPreikschatGiloi1995, author = {Schr{\"o}der-Preikschat, Wolfgang and Giloi, Wolfgang K.}, title = {The next generation parallel architecture - multiple executing threads}, year = {1995}, language = {en} } @phdthesis{Tarnick1995, author = {Tarnick, Steffen}, title = {Data compression techniques for concurrent error detection and built-in self test}, pages = {159 S. : Ill.}, year = {1995}, language = {en} } @book{BartlHornReinke1995, author = {Bartl, Peter and Horn, Erika and Reinke, Thomas}, title = {Modelltypen, Ausdrucksmittel, Beispiele f{\"u}r die Modellierung von Verwaltungsvorg{\"a}ngen}, series = {MOSVO-Bericht}, volume = {UP.004.1}, journal = {MOSVO-Bericht}, publisher = {Univ.}, address = {Potsdam}, year = {1995}, language = {de} } @article{ReddyKunzPradhan1995, author = {Reddy, S. M. and Kunz, Wolfgang and Pradhan, D. K.}, title = {Novel verification framework combining structural and OBDD methods in a synthesis environment}, isbn = {0-8186-7213-7}, year = {1995}, language = {en} } @article{ChatterjeePradhanKunz1995, author = {Chatterjee, M. and Pradhan, D. K. and Kunz, Wolfgang}, title = {ATPG-based Transformations for random-pattern testable logic synthesis}, isbn = {0-8186-7213-7}, year = {1995}, language = {en} } @article{LinkeSchaub1995, author = {Linke, Thomas and Schaub, Torsten H.}, title = {Lemma handling in default logic theorem provers}, isbn = {3540601120}, year = {1995}, language = {en} } @article{BesnardSchaub1995, author = {Besnard, Philippe and Schaub, Torsten H.}, title = {An approach to context-based default reasoning}, issn = {0169-2968}, year = {1995}, language = {en} } @article{ThielscherSchaub1995, author = {Thielscher, Michael and Schaub, Torsten H.}, title = {Default reasoning by deductive planning}, year = {1995}, language = {en} } @article{SogomonyanGoessel1995, author = {Sogomonyan, Egor S. and G{\"o}ssel, Michael}, title = {A new parity preserving multi-input signature analyser}, year = {1995}, language = {en} } @article{BogueJuergensenGoessel1995, author = {Bogue, Ted and J{\"u}rgensen, Helmut and G{\"o}ssel, Michael}, title = {BIST with negligible aliasing through random cover circuits}, year = {1995}, language = {en} } @article{SchubertGloedeHegewaldetal.1994, author = {Schubert, Wolfgang and Gl{\"o}de, Dirk and Hegewald, Eberhard and Koutzevlov, Atanas}, title = {ESF-Abschlußbericht}, publisher = {Univ.}, address = {Potsdam}, year = {1994}, language = {de} } @article{Richter1994, author = {Richter, Peter}, title = {Efficient shortest path algorithms for road traffic optimization}, year = {1994}, language = {en} } @book{SchroederPreikschat1994, author = {Schr{\"o}der-Preikschat, Wolfgang}, title = {The logical design of parallel operating systems}, publisher = {Prentice Hall International}, address = {Englewood Cliffs}, pages = {370 S.}, year = {1994}, language = {en} } @article{SchroederPreikschat1994, author = {Schr{\"o}der-Preikschat, Wolfgang}, title = {PEACE - software backplane for parallel computing}, year = {1994}, language = {en} } @article{Sommerfeld1994, author = {Sommerfeld, Erdmute}, title = {Operations on cognitive structures : their modelling on the basis of graph theory}, year = {1994}, language = {en} } @book{Bartl1994, author = {Bartl, Peter}, title = {Sachbericht zum Vorg{\"a}ngerprojekt von MOSVO}, publisher = {Univ.}, address = {Potsdam}, year = {1994}, language = {de} } @article{KunzPradhan1994, author = {Kunz, Wolfgang and Pradhan, D. K.}, title = {Recursive learning : a new implication technique for efficient solutions to CAD problems : test, verification and optimization}, year = {1994}, language = {en} } @article{Kunz1994, author = {Kunz, Wolfgang}, title = {Ein effizientes Verfahren f{\"u}r die Logikvertifikation}, year = {1994}, language = {de} } @article{Kunz1994, author = {Kunz, Wolfgang}, title = {Ein neuer Ansatz f{\"u}r die Optimierung mehrstufiger loischer Schaltungen}, year = {1994}, language = {de} } @article{Tarnick1994, author = {Tarnick, Steffen}, title = {Bounding error masking in linear output space compression schemes}, year = {1994}, language = {en} } @article{Tarnick1994, author = {Tarnick, Steffen}, title = {Controllable self-checking checkers for conditional concurrent checking}, year = {1994}, language = {en} } @article{Boehlau1994, author = {B{\"o}hlau, Peter}, title = {Zero aliasing compression based on groups of weakly independent outputs in circuits with high complexity for two fault models}, year = {1994}, language = {en} } @article{KunzMenon1994, author = {Kunz, Wolfgang and Menon, P.}, title = {Multi-level logic optimization by implication analysis}, isbn = {0-89791-690-5}, year = {1994}, language = {en} } @article{Cobernuss1994, author = {Cobernuss, M.}, title = {Bused interconnection network for parallel memory with linear storage}, isbn = {3-05-501602-5}, year = {1994}, language = {en} } @article{GoesselSogomonyan1994, author = {G{\"o}ssel, Michael and Sogomonyan, Egor S.}, title = {Self-parity combinational-circuits for self-testing, concurrent fault-detection and parity scan design}, year = {1994}, language = {en} } @article{GoesselMorosovSaposhnikovetal.1994, author = {G{\"o}ssel, Michael and Morosov, Andrej and Saposhnikov, V. V. and Saposhnikov, VL. V.}, title = {Design of combinational self-testing devices with unidirectionally independent outputs}, year = {1994}, language = {en} } @article{BogueJuergensenGoessel1994, author = {Bogue, Ted and J{\"u}rgensen, Helmut and G{\"o}ssel, Michael}, title = {Design of cover circuits for monitoring the output of a MISR}, isbn = {0-8186-6307-3 , 0-8186-6306-5}, year = {1994}, language = {en} } @article{GoesselSogomonyan1994, author = {G{\"o}ssel, Michael and Sogomonyan, Egor S.}, title = {Code disjoint self-parity combinational circuits for self-testing, concurrent fault detection and parity scan design}, year = {1994}, language = {en} } @article{GerberGoessel1994, author = {Gerber, Stefan and G{\"o}ssel, Michael}, title = {Detection of permanent faults of a floating point adder by pseudoduplication}, year = {1994}, language = {en} } @article{BesnardSchaub1993, author = {Besnard, Philippe and Schaub, Torsten H.}, title = {A context-based framework for default logics}, isbn = {0-262-51071-5}, year = {1993}, language = {en} } @article{KrstićWeidlingPetrovicetal., author = {Krstić, Miloš and Weidling, Stefan and Petrovic, Vladimir and Sogomonyan, Egor S.}, title = {Enhanced architectures for soft error detection and correction in combinational and sequential circuits}, series = {Microelectronics Reliability}, volume = {56}, journal = {Microelectronics Reliability}, issn = {0026-2714}, pages = {212 -- 220}, abstract = {In this paper two new methods for the design of fault-tolerant pipelined sequential and combinational circuits, called Error Detection and Partial Error Correction (EDPEC) and Full Error Detection and Correction (FEDC), are described. The proposed methods are based on an Error Detection Logic (EDC) in the combinational circuit part combined with fault tolerant memory elements implemented using fault tolerant master-slave flip-flops. If a transient error, due to a transient fault in the combinational circuit part is detected by the EDC, the error signal controls the latching stage of the flip-flops such that the previous correct state of the register stage is retained until the transient error disappears. The system can continue to work in its previous correct state and no additional recovery procedure (with typically reduced clock frequency) is necessary. The target applications are dataflow processing blocks, for which software-based recovery methods cannot be easily applied. The presented architectures address both single events as well as timing faults of arbitrarily long duration. An example of this architecture is developed and described, based on the carry look-ahead adder. The timing conditions are carefully investigated and simulated up to the layout level. The enhancement of the baseline architecture is demonstrated with respect to the achieved fault tolerance for the single event and timing faults. It is observed that the number of uncorrected single events is reduced by the EDPEC architecture by 2.36 times compared with previous solution. The FEDC architecture further reduces the number of uncorrected events to zero and outperforms the Triple Modular Redundancy (TMR) with respect to correction of timing faults. The power overhead of both new architectures is about 26-28\% lower than the TMR.}, language = {en} }