Sudhakar M. Reddy

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Alexander Czutro

> Home > Persons > Sudhakar M. Reddy

Publications

2014
[c402]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsid/CzutroRPB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsid/CzutroRPB14
Alexander Czutro, Sudhakar M. Reddy, Ilia Polian, Bernd Becker:
SAT-Based Test Pattern Generation with Improved Dynamic Compaction. VLSID 2014: 56-61
2012
[c391]
- view
  authority control:
- export record
  dblp key:
  - conf/itc/SauerKCPRB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itc/SauerKCPRB12
Matthias Sauer, Stefan Kupferschmid, Alexander Czutro, Ilia Polian, Sudhakar M. Reddy, Bernd Becker:
Functional test of small-delay faults using SAT and Craig interpolation. ITC 2012: 1-8
[c390]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsid/SauerKCRB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsid/SauerKCRB12
Matthias Sauer, Stefan Kupferschmid, Alejandro Czutro, Sudhakar M. Reddy, Bernd Becker:
Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation. VLSI Design 2012: 382-387
2010
[j198]
- view
  authority control:
- export record
  dblp key:
  - journals/ijpp/CzutroPLERB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijpp/CzutroPLERB10
Alejandro Czutro, Ilia Polian, Matthew Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker:
Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability Analysis. Int. J. Parallel Program. 38(3-4): 185-202 (2010)
2009
[c359]
- view
  authority control:
- export record
  dblp key:
  - conf/ats/CzutroPERB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ats/CzutroPERB09
Alejandro Czutro, Ilia Polian, Piet Engelke, Sudhakar M. Reddy, Bernd Becker:
Dynamic Compaction in SAT-Based ATPG. Asian Test Symposium 2009: 187-190
[c346]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsid/CzutroPLERB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsid/CzutroPLERB09
Alejandro Czutro, Ilia Polian, Matthew Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker:
TIGUAN: Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability ANalysis. VLSI Design 2009: 227-232

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.