Conf.dr. Stefan ANDREI
Universitatea Alexandru Ioan Cuza, Facultatea de Informatica
Iasi
Romania
-----------------------------------
          
Scalable Incremental Checksum Testing of Combinational Circuits
based on #SAT Problem
-----------------------------------
          
ABSTRACT
-----------------------------------
Circuit testing is an important problem in electronic design
automation. Due to testing machine limitations, many manufacturers
must truncate test patterns to fit in the test equipments.  
Our contribution is a novel approach to handle this challenge,
namely  (1)A unique combination of a #SAT solver,  (2)A checksum
computation, (3)A frame testing. This allows us to do efficient
incremental testing. Unlike checksums from the communication
domain which can only detect stuck-at faults, our approach is
able also to locate them.  Experiments showed that our approach
is faster than other testing methods.
          
SHORT CV
-----------------------------------
Conf. dr. Stefan Andrei este cadru didactic la Facultatea de
informatica a Universitatii "Alexandru Ioan Cuza" din Iasi. A
predat cursuri de programare (limbajele C, C++, Java si Prolog),
Constructia compilatoarelor, Limbaje formale, Navigare Internet
si Sisteme distribuite. A obtinut doctoratul in domeniul informaticii
cu teza "Procesarea paralela", sustinuta la Universitatea din
Hamburg (Germania). Este preocupat de verificarea si depanarea
sistemelor in timp real si procesarea datelor in diverse limbaje
de programare. A obtinut premiile DAAD (1997), World Bank (1998-2000)
si Singapore - MIT Alliance (2002-2005).