Time
Publication

2011

  • Balcárek, J., Fišer, P., Schmidt, J.: Techniques for SAT-Based Constrained Test Patterns Generation, Proc. 14th Euromicro Conference on Digital Systéme Design (DSD'11), Oulu (Finland), 31.8.-2.9.2011, p. 8.pdf.
  • Balcárek, J., “Implicit Representations in the Diagnostics of the Digital Circuits,” Počítačové architektury&diagnostika (PAD'2011), Stará Lesná (SR), 12.-14.9.2011, pdf.

2010

  • SGS10/118/OHK3/1T/18, "Návrh spolehlivých systémů na bázi programovatelných obvodů", "Design of Dependable Systems Based on Programmable Circuits", 2010, final report pdf.
  • Balcárek, J., “Implicit Rrepresentations in Customized Testing of Digital Circuits,” Počítačové architektury&diagnostika (PAD'2010), Češkovice (ČR), 13.-15.9.2010, pdf
  • Balcárek, J., Fišer, P., Schmidt, J.: Test Patterns Compression Technique Based on a Dedicated SAT-based ATPG, Proc. 13th Euromicro Conference on Digital Systems Design (DSD'10), Lille (France), 1.-3.9.2010, pp. 805-808 pdf(poster pdf) / pdf(full paper NA)
  • Balcárek, J., Fišer, P., Schmidt, J.: Implicit Representations in Test Patterns Compression for Scan-Based Digital Circuits, Informal Proc. of European Test Symposium (ETS'10), Prague, ČR, 24.-28.5.2010, p.2. pdf

2009

  • Balcárek, J., Fišer, P., Schmidt, J.: On Properties of SAT Instances Produced by SAT-Based Test Pattern Generators, Proc. of Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09), Znojmo, ČR, 13.-15.11.2009, pp. 3-10 pdf
  • Balcárek, J., “Test Patterns Compression Techniques Based on SAT Solving for Scan-Based Digital Circuits,” Počítačové architektury&diagnostika (PAD'09), Soláň (ČR), 2009, pp. 26-31pdf
  • Balcárek, J., “Generátor komprimovaných testovacích vektorů založený na modifikaci ATPG,” Diplomová práce, FEL ČVUT v Praze, 2009, p. 81. pdf

2008
  -

2007

  • Balcárek, J., “Řešení problému splnitelnosti booleovské formule (SAT) pomocí binárních rozhodovacích diagramů (BDD),” Bakalářská práce, FEL ČVUT v Praze, 2007, p. 71.pdf

Last update: 04.09.2011   17:31:14