Automatic extraction of the control flow machine and application to evaluating coverage of verification vectors.

Autor: Hoskote, Y.V., Moundanos, D., Abraham, J.A.

Publikováno v: Proceedings of ICCD '95 International Conference on Computer Design VLSI in Computers & Processors; 1995, p532-537, 6p

Verification of circuits described in VHDL through extraction of design intent.

Autor: Hoskote, Y.V., Moondanos, J., Abraham, J.A., Fussell, D.S.

Publikováno v: Proceedings of 7th International Conference on VLSI Design; 1994, p417-420, 4p

Probabilistic evaluation of online checks in fault-tolerant multiprocessor systems.

Autor: Nair, V.S.S., Hoskote, Y.V., Abraham, J.A.

Publikováno v: IEEE Transactions on Computers; 1992, Vol. 41 Issue 5, p532-541, 10p

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.