A new look at test generation and verification

PG Kovijanic - Proceedings of the 14th Design Automation …, 1977 - dl.acm.org
A NEW LOOK AT TEST GENERATION AND VERIFICATION Predrag G. Kovijanic Sperry
Univac Division Sperry Rand Corporation Roseville, Mi … Kovijanic Sperry Univac Division …

A global feedback detection algorithm for VLSI circuits

HC Shih, PG Kovijanic… - Proceedings., 1990 IEEE …, 1990 - ieeexplore.ieee.org
… The identification of the minimal number of feedback loops is a difficult problem whose
complexity grows exponentially with the number of nodes in a circuit G 111. A solution for this is …

An interactive sequential test pattern generation system

R Razdan, M Anwaruddin, PG Kovijanic… - … .'Meeting the Tests of …, 1989 - ieeexplore.ieee.org
The authors present ITPG (Interactive Test Pattern Generator), an automatic test pattern
generation tool which produces high fault coverage for complex sequential circuits. The tool is …

[CITATION][C] Automated testing and reliability and availability of digital systems.

PG Kovijanic - 1975 - dl.acm.org
Predrag Gavrilo Kovijanic

[PDF][PDF] Uvod u logiku

Ž Kovijanić Vukićević, S Vujošević - 2009 - elibrary.matf.bg.ac.rs
Logika se tradicionalno shvata kao nauka o pravilima korektnog zakljucivanja. U zakljucivanju
sa jednog skupa recenica prelazimo na novu recenicu. Recenice od kojih polazimo su …

Serbo-croate

A VAILLANT, G CASTELLAN - Revue des études slaves, 1966 - JSTOR
… 196); - Risto Kovijanic scrute longuement, et en annonçant une le personnage du « bon
vieillard » dans le poème d'Ivan Mažuranič ( 243), et il renseigne sur les années d'étude de …

Tight localizations of feedback sets

M Hecht, K Gonciarz, S Horvát - Journal of Experimental Algorithmics …, 2021 - dl.acm.org
… If such an arc e ∈ E is located, then we store e in a list ε, consider G = G \ e, and continue
the search until either the resulting graph G is acyclic or no desired arc can be localized. In any …

Multi-factor authentication from the point of view of internet users from our region

A Milovanović, T Aleksandar… - … -Security and Crisis …, 2020 - redun.educons.edu.rs
Modern internet users face various challenges and opportunities for identity verification. The
motive of this paper is to acquaint users with identification mechanisms in order to prevent …

[CITATION][C] On testability of CMOS-domino logic

VG Oklobdzija, PG Kovijanic - 14th International Conference on Fault-Tolerant …, 1984

[CITATION][C] Single Testability Figure of Merit.

PG Kovijanic - ITC, 1981