Special Session "Design and Test" (NAS RA, Conference Hall)
Tuesday, September 26, 2017, (0930 - 1400)
Moderators: Samvel Shoukourian, Armen Kostanyan
|
| 0930 |
Valery Vardanian, Karen Amirkhanyan, Samvel Shoukourian (Armenia)
“Design of Reparable Memory Systems with Shared Row Redundancies” |
| 0950 |
Leonid Kruglov, Alexander Gerasimov (Russia)
“Reachability Confirmation of Statically Detected Defects using Dynamic Analysis” |
| 1010 |
David Sargsyan (Armenia)
“ISO 26262 Compliant Memory BIST Architecture” |
| 1030 |
Suren Martirosyan (Armenia)
“Application of Memory Scrambling Aware Multi-Level Diagnosis Flow” |
| 1050 |
Davit Hayrapetyan, Aleksandr Manukyan (Armenia)
“Modeling Dynamic Single-cell and Coupling Faults via Automata Models” |
| 1110 |
Armen Kostanyan, Sona Kurazyan (Armenia)
“Migration of a Net in a Slicing Floorplan” |
| 1130 |
Davit Husikyan, Davit Aleksanyan (Armenia)
“The Estimation of the Surface of a Printed Board” |
| 1150 |
Irina Vinogradova, Anna Andrianova, Ivan Meshkov, Albert Sultanov,
Guzel Abdrakhmanova, Elizaveta Grakhova, Arsen Ishmiyarov,
Liliya Yantilina , Gulnaz Kultieva (Russia)
“Analysis of Optical Device Models Designed for Antenna Array Management Operability” |
| 1210 |
Denis Buzdalov, Sergey Zelenov (Russia)
“Visualization of Behavioral Aspects of AADL-models” |
| 1230 |
Sergey Vartanov (Russia)
“Dynamic Symbolic Execution of Java Programs Using JNI” |
| 1300 |
Discussion |