Jacob A. Abraham (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

122 Yatin 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)

96 Yatin 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

75 John Moondanos, Jacob A. Abraham: Sequential Redundancy Identification Using Verification Techniques. ITC 1992: 197-205

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

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

122		Yatin 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)
96		Yatin 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
75		John Moondanos, Jacob A. Abraham: Sequential Redundancy Identification Using Verification Techniques. ITC 1992: 197-205