Skip to main content Skip to main navigation
Frau mit VR Glasses© Adobe Stock

Kognitive Assistenzsysteme

Publikationen

Seite 59 von 59.

  1. Stephan Eggersglüß; Melanie Diepenbeck; Robert Wille; Rolf Drechsler

    Towards Increasing Test Compaction Abilities of SAT-based ATPG through Fault Detection Constraints

    In: Proceedings. IEEE Workshop on RTL and High Level Testing (WRTLT-12), IEEE, 2012.

  2. Stephan Eggersglüß; Rolf Drechsler

    As-Robust-As-Possible Test Generation in the Presence of Small Delay Defects using Pseudo-Boolean Optimization

    In: Proceedings of the GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen. GI/GMM/ITG Workshop Testmethoden und …

  3. Stephan Eggersglüß; Rolf Drechsler

    As-Robust-As-Possible Test Generation in the Presence of Small Delay Defects using Pseudo-Boolean Optimization

    In: Proceedings of DATE 11 - Design, Automation & Test in Europe. The European Event for Electronic System Design & Test. Design, Automation & Test in …

  4. Stephan Eggersglüß; Rolf Drechsler

    Efficient Data Structures and Methodologies for SAT-based ATPG providing High Fault Coverage in Industrial Application

    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Vol. 30, No. 9, Pages 1411-1415, IEEE Press, 2011.

Kontakt

Sekretariat:
Gundula Kleiner
Tel.: +49 681 85775 5290

Iris Lambrecht
Tel.: +49 681 85775 5006

Teamassistenz:
Sylvia Krüger
Tel.: +49 681 85775 5152

Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Stuhlsatzenhausweg 3
Saarland Informatics Campus, Geb. D3 2
66123 Saarbrücken
Deutschland