On distinguishing prime numbers from composite numbers

LM Adleman - 21st Annual Symposium on Foundations of …, 1980 - ieeexplore.ieee.org
A new algorithm for testing primality is presented. The algorithm is distinguishable from the
lovely algorithms of Solvay and Strassen [36], Miller [27] and Rabin [32] in that its assertions …

Soc and board modeling for processor-centric board testing

A Tsertov, R Ubar, A Jutman… - 2011 14th Euromicro …, 2011 - ieeexplore.ieee.org
Many contemporary electronic systems are based on System-on-Chips (SoC) such as micro-
controllers or signal processors that communicate with many peripheral devices on the …

Automatic soc level test path synthesis based on partial functional models

A Tsertov, R Ubar, A Jutman… - 2011 Asian Test …, 2011 - ieeexplore.ieee.org
While system level test was a topic of extremely high interest during the last decades, the
cost of the test program development was continuously growing. The restricted capabilities …

Testing beyond the SoCs in a lego style

A Tsertov, A Jutman, S Devadze - 2010 East-West Design & …, 2010 - ieeexplore.ieee.org
Many contemporary electronic systems are based on such System-on-Chips (SoC) as
microcontrollers or signal processors that communicate with many peripheral devices on the …

[PDF][PDF] System Modeling for Processor-Centric Test Automation

A TÐERTOV - 2012 - digikogu.taltech.ee
The thesis addresses topics related to the manufacturing board level testing. The restricted
capabilities of widely adopted board level test methods with respect to such modern …