dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Jacob A. Abraham (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDinos Moundanos, Jacob A. Abraham, Yatin Vasant Hoskote: Abstraction Techniques for Validation Coverage Analysis and Test Generation. IEEE Trans. Computers 47(1): 2-14 (1998)
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYatin Vasant Hoskote, Jacob A. Abraham, Donald S. Fussell, John Moondanos: Automatic verification of implementations of large circuits against HDL specifications. IEEE Trans. on CAD of Integrated Circuits and Systems 16(3): 217-228 (1997)
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDinos Moundanos, Jacob A. Abraham, Yatin Vasant Hoskote: A Unified Framework for Design Validation and Manufacturing Test. ITC 1996: 875-884
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYatin Vasant Hoskote, Jacob A. Abraham, Donald S. Fussell: Automated verification of temporal properties specified as state machines in VHDL. Great Lakes Symposium on VLSI 1995: 100-105
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYatin Vasant Hoskote, Dinos Moundanos, Jacob A. Abraham: Automatic extraction of the control flow machine and application to evaluating coverage of verification vectors. ICCD 1995: 532-537
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshok Balivada, Yatin Vasant Hoskote, Jacob A. Abraham: Verification of transient response of linear analog circuits. VTS 1995: 42-47
96no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYatin Vasant Hoskote, John Moondanos, Jacob A. Abraham, Donald S. Fussell: Verification of Circuits Described in VHDL through Extraction of Design Intent. VLSI Design 1994: 417-420
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLV. S. S. Nair, Yatin Vasant Hoskote, Jacob A. Abraham: Probabilistic Evaluation of On-Line Checks in Fault-Tolerant Multiprocessor Systems. IEEE Trans. Computers 41(5): 532-541 (1992)

Selection of 8 from 323 records - Jacob A. Abraham has 233 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page