Yatin Vasant Hoskote

Publication Activity (10 Years)

Years Active: 1992-2009
Publications (10 Years): 0

Publications

Radu Marculescu, Ümit Y. Ogras, Li-Shiuan Peh, Natalie D. Enright Jerger, Yatin Vasant Hoskote
Outstanding Research Problems in NoC Design: System, Microarchitecture, and Circuit Perspectives. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28 (1) (2009)
Yatin Vasant Hoskote, Radu Marculescu, Li-Shiuan Peh
Guest Editors' Introduction: Tackling Key Problems in NoCs. IEEE Des. Test Comput. 25 (5) (2008)
Sriram R. Vangal, Yatin Vasant Hoskote, Nitin Borkar, Atila Alvandpour
A 6.2-GFlops Floating-Point Multiply-Accumulator With Conditional Normalization. IEEE J. Solid State Circuits 41 (10) (2006)
Yatin Vasant Hoskote, Bradley A. Bloechel, Gregory E. Dermer, Vasantha Erraguntla, David Finan, Jason Howard, Dan Klowden, Siva G. Narendra, Greg Ruhl, James W. Tschanz, Sriram R. Vangal, Venkat Veeramachaneni, Howard Wilson, Jianping Xu, Nitin Borkar
A TCP offload accelerator for 10 Gb/s Ethernet in 90-nm CMOS. IEEE J. Solid State Circuits 38 (11) (2003)
Yatin Vasant Hoskote, Timothy Kam, Pei-Hsin Ho, Xudong Zhao
Coverage Estimation for Symbolic Model Checking. DAC (1999)
Dinos Moundanos, Jacob A. Abraham, Yatin Vasant Hoskote
Abstraction Techniques for Validation Coverage Analysis and Test Generation. IEEE Trans. Computers 47 (1) (1998)
Yatin Vasant Hoskote, Jacob A. Abraham, Donald S. Fussell, John Moondanos
Automatic verification of implementations of large circuits against HDL specifications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16 (3) (1997)
Dinos Moundanos, Jacob A. Abraham, Yatin Vasant Hoskote
A Unified Framework for Design Validation and Manufacturing Test. ITC (1996)
Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao
Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking. FMCAD (1996)
Ashok Balivada, Yatin Vasant Hoskote, Jacob A. Abraham
Verification of transient response of linear analog circuits. VTS (1995)
Yatin 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)
Yatin Vasant Hoskote, Dinos Moundanos, Jacob A. Abraham
Automatic extraction of the control flow machine and application to evaluating coverage of verification vectors. ICCD (1995)
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)
Yatin Vasant Hoskote, John Moondanos, Jacob A. Abraham, Donald S. Fussell
Abstraction of data path registers for multilevel verification of large circuits. Great Lakes Symposium on VLSI (1994)
V. 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) (1992)