The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jacob A. Abraham" ( http://dblp.L3S.de/Authors/Jacob_A._Abraham )

URL (Homepage):  http://www.cerc.utexas.edu/~jaa/info.html  Author page on DBLP  Author page in RDF  Community of Jacob A. Abraham in ASPL-2

Publication years (Num. hits)
1975-1984 (18) 1985-1986 (17) 1987-1989 (16) 1990-1991 (19) 1992-1993 (23) 1994-1995 (16) 1996-1997 (20) 1998-1999 (24) 2000-2001 (17) 2002-2003 (24) 2004 (16) 2005-2006 (20) 2007-2008 (34) 2009 (18) 2010-2011 (28) 2012 (5)
Publication types (Num. hits)
article(77) inproceedings(238)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 281 occurrences of 195 keywords

Results
Found 315 publication records. Showing 315 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Baker Mohammad, Jacob A. Abraham A reduced voltage swing circuit using a single supply to enable lower voltage operation for SRAM-based memory. Search on Bibsonomy Microelectronics Journal The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jaeyong Chung, Jinjun Xiong, Vladimir Zolotov, Jacob A. Abraham Path Criticality Computation in Parameterized Statistical Timing Analysis Using a Novel Operator. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jaeyong Chung, Jacob A. Abraham Refactoring of Timing Graphs and Its Use in Capturing Topological Correlation in SSTA. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Junyoung Park, H. Mert Ustun, Jacob A. Abraham Run-time Prediction of the Optimal Performance Point in DVS-based Dynamic Thermal Management. Search on Bibsonomy VLSI Design The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hyunjin Kim, Jacob A. Abraham On-chip source synchronous interface timing test scheme with calibration. Search on Bibsonomy DATE The full citation details ... 2012 DBLP  BibTeX  RDF
1Ramtilak Vemu, Jacob A. Abraham CEDA: Control-Flow Error Detection Using Assertions. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Control-flow errors, software-based detection, fault tolerance, error detection
1Byoungho Kim, Jacob A. Abraham Transformer-Coupled Loopback Test for Differential Mixed-Signal Dynamic Specifications. Search on Bibsonomy IEEE T. Instrumentation and Measurement The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Byoungho Kim, Jacob A. Abraham Efficient Loopback Test for Aperture Jitter in Embedded Mixed-Signal Circuits. Search on Bibsonomy IEEE Trans. on Circuits and Systems The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Kihyuk Han, Joonsung Park, Jae Wook Lee, Jaeyong Chung, Eonjo Byun, Cheol-Jong Woo, Sejang Oh, Jacob A. Abraham Off-Chip Skew Measurement and Compensation Module (SMCM) Design for Built-Off Test Chip. Search on Bibsonomy J. Electronic Testing The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Joonsung Park, Hongjoong Shin, Jacob A. Abraham Pseudorandom Test of Nonlinear Analog and Mixed-Signal Circuits Based on a Volterra Series Model. Search on Bibsonomy J. Electronic Testing The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Junyoung Park, Jacob A. Abraham A fast, accurate and simple critical path monitor for improving energy-delay product in DVS systems. Search on Bibsonomy ISLPED The full citation details ... 2011 DBLP  BibTeX  RDF
1Eun Jung Jang, Jaeyong Chung, Anne E. Gattiker, Sani R. Nassif, Jacob A. Abraham Post-Silicon Timing Validation Method Using Path Delay Measurements. Search on Bibsonomy Asian Test Symposium The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hyunjin Kim, Jacob A. Abraham On-Chip Programmable Dual-Capture for Double Data Rate Interface Timing Test. Search on Bibsonomy Asian Test Symposium The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jaeyong Chung, Jinjun Xiong, Vladimir Zolotov, Jacob A. Abraham Testability driven statistical path selection. Search on Bibsonomy DAC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tung-Yeh Wu, Shih-Hsin Hu, Jacob A. Abraham Robust power gating reactivation by dynamic wakeup sequence throttling. Search on Bibsonomy ASP-DAC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jaeyong Chung, Jinjun Xiong, Vladimir Zolotov, Jacob A. Abraham Path criticality computation in parameterized statistical timing analysis. Search on Bibsonomy ASP-DAC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Joonsoo Kim, Joonsoo Lee, Jacob A. Abraham System accuracy estimation of SRAM-based device authentication. Search on Bibsonomy ASP-DAC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Eun Jung Jang, Anne E. Gattiker, Sani R. Nassif, Jacob A. Abraham Efficient and product-representative timing model validation. Search on Bibsonomy VTS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jacob A. Abraham Tutorial: "Manufacturing test of systems-on-a-chip (SoCs)". Search on Bibsonomy SoCC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hongjoong Shin, Joonsung Park, Jacob A. Abraham Spectral Prediction for Specification-Based Loopback Test of Embedded Mixed-Signal Circuits. Search on Bibsonomy J. Electronic Testing The full citation details ... 2010 DBLP  BibTeX  RDF
1Ramyanshu Datta, Antony Sebastine, Ashwin Raghunathan, Gary D. Carpenter, Kevin J. Nowka, Jacob A. Abraham On-Chip Delay Measurement Based Response Analysis for Timing Characterization. Search on Bibsonomy J. Electronic Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sachin Dileep Dasnurkar, Jacob A. Abraham Real-time dynamic hybrid BiST solution for Very-Low-Cost ATE production testing of A/D converters with controlled DPPM. Search on Bibsonomy ISQED The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hyunjin Kim, Jacob A. Abraham A Low Cost Built-In Self-Test Circuit for High-Speed Source Synchronous Memory Interfaces. Search on Bibsonomy Asian Test Symposium The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Joonsung Park, Jae Wook Lee, Jaeyong Chung, Kihyuk Han, Jacob A. Abraham, Eonjo Byun, Cheol-Jong Woo, Sejang Oh At-speed Test of High-Speed DUT Using Built-Off Test Interface. Search on Bibsonomy Asian Test Symposium The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jae Wook Lee, Ji Hwan (Paul) Chun, Jacob A. Abraham A delay measurement method using a shrinking clock signal. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF edge placement accuracy, tester, measurement, delay
1Sachin Dileep Dasnurkar, Jacob A. Abraham Calibration-enabled scalable built-in current sensor compatible with very low cost ATE. Search on Bibsonomy European Test Symposium The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hyunjin Kim, Jaeyong Chung, Jacob A. Abraham, Eonjo Byun, Cheol-Jong Woo A Built-In Self-Test scheme for high speed I/O using cycle-by-cycle edge control. Search on Bibsonomy European Test Symposium The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ji Hwan (Paul) Chun, Jae Wook Lee, Jacob A. Abraham A novel characterization technique for high speed I/O mixed signal circuit components using random jitter injection. Search on Bibsonomy ASP-DAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jaeyong Chung, Joonsung Park, Jacob A. Abraham, Eonjo Byun, Cheol-Jong Woo Reducing test time and area overhead of an embedded memory array built-in repair analyzer with optimal repair rate. Search on Bibsonomy VTS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mohamad A. Zeidan, Aritra Banerjee, Ranjit Gharpurey, Jacob A. Abraham Multitone digital signal based test for RF receivers. Search on Bibsonomy VTS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Shakeel S. Abdulla, Haewoon Nam, Earl E. Swartzlander Jr., Jacob A. Abraham High speed recursion-free CORDIC architecture. Search on Bibsonomy SoCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tung-Yeh Wu, Sriram Sambamurthy, Jacob A. Abraham Estimation of maximum application-level power supply noise. Search on Bibsonomy SoCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Joonsoo Kim, Joonsoo Lee, Jacob A. Abraham Toward reliable SRAM-based device identification. Search on Bibsonomy ICCD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Vinod Viswanath, Shobha Vasudevan, Jacob A. Abraham Dedicated Rewriting: Automatic Verification of Low Power Transformations in Register Transfer Level. Search on Bibsonomy J. Low Power Electronics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Rajeshwary Tayade, Jacob A. Abraham Critical Path Selection for Delay Testing Considering Coupling Noise. Search on Bibsonomy J. Electronic Testing The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Savithri Sundareswaran, Rajendran Panda, Jacob A. Abraham, Yun Zhang, Amit Mittal Characterization of sequential cells for constraint sensitivities. Search on Bibsonomy ISQED The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sriram Sambamurthy, Sankar Gurumurthy, Ramtilak Vemu, Jacob A. Abraham Functionally valid gate-level peak power estimation for processors. Search on Bibsonomy ISQED The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jae Wook Lee, Ji Hwan (Paul) Chun, Jacob A. Abraham A Random Jitter RMS Estimation Technique for BIST Applications. Search on Bibsonomy Asian Test Symposium The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Joonsung Park, Jaeyong Chung, Jacob A. Abraham LFSR-Based Performance Characterization of Nonlinear Analog and Mixed-Signal Circuits. Search on Bibsonomy Asian Test Symposium The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Rajeshwary Tayade, Jacob A. Abraham Critical Path Selection for Delay Test Considering Coupling Noise. Search on Bibsonomy European Test Symposium The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Kihyuk Han, Joonsung Park, Jae Wook Lee, Jacob A. Abraham, Eonjo Byun, Cheol-Jong Woo, Sejang Oh Low-Complexity Off-Chip Skew Measurement and Compensation Module (SMCM) Design for Built-Off Test Chip. Search on Bibsonomy European Test Symposium The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jaeyong Chung, Jacob A. Abraham Recursive Path Selection for Delay Fault Testing. Search on Bibsonomy VTS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Chaoming Zhang, Ranjit Gharpurey, Jacob A. Abraham On-Line Calibration and Power Optimization of RF Systems Using a Built-In Detector. Search on Bibsonomy VTS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Vinod Viswanath, Shobha Vasudevan, Jacob A. Abraham Dedicated Rewriting: Automatic Verification of Low Power Transformations in RTL. Search on Bibsonomy VLSI Design The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sachin Dileep Dasnurkar, Jacob A. Abraham Hybrid BiST Solution for Analog to Digital Converters with Low-cost Automatic Test Equipment Compatibility. Search on Bibsonomy ISCAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Tung-Yeh Wu, Samaneh Gharahi, Jacob A. Abraham An Area Efficient On-chip Static IR Drop Detector/Evaluator. Search on Bibsonomy ISCAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Shih-Hsin Hu, Tung-Yeh Wu, Jacob A. Abraham SNR-Aware Error Detection for Low-Power Discrete Wavelet Lifting Transform in JPEG 2000. Search on Bibsonomy DFT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Abhijit Chatterjee, Jacob A. Abraham, Adit D. Singh, Elie Maricau, Rakesh Kumar, Chris Papachristou Panel: Realistic low power design: Let errors occur and correct them later or mitigate errors via design guardbanding and process control?. Search on Bibsonomy IOLTS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Shih-Hsin Hu, Jacob A. Abraham Error detection in 2-D Discrete Wavelet lifting transforms. Search on Bibsonomy IOLTS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jaeyong Chung, Jacob A. Abraham A hierarchy of subgraphs underlying a timing graph and its use in capturing topological correlation in SSTA. Search on Bibsonomy ICCAD The full citation details ... 2009 DBLP  BibTeX  RDF
1Shakeel S. Abdulla, Haewoon Nam, Mark McDermot, Jacob A. Abraham A high throughput FFT processor with no multipliers. Search on Bibsonomy ICCD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Shobha Vasudevan, Vinod Viswanath, Jacob A. Abraham, Jiajin Tu Sequential equivalence checking between system level and RTL descriptions. Search on Bibsonomy Design Autom. for Emb. Sys. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Rajeshwary Tayade, Jacob A. Abraham Small-delay defect detection in the presence of process variations. Search on Bibsonomy Microelectronics Journal The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ramyanshu Datta, Ravi Gupta, Antony Sebastine, Jacob A. Abraham, Manuel A. d'Abreu Controllability of Static CMOS Circuits for Timing Characterization. Search on Bibsonomy J. Electronic Testing The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Design for test, Delay fault testing, Scan design
1Ramyanshu Datta, Jacob A. Abraham, Abdulkadir Utku Diril, Abhijit Chatterjee, Kevin J. Nowka Performance-Optimized Design for Parametric Reliability. Search on Bibsonomy J. Electronic Testing The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Adaptive design, Process variation compensation, Parametric reliability, Noise tolerance
1Savithri Sundareswaran, Jacob A. Abraham, Alexandre Ardelea, Rajendran Panda Characterization of Standard Cells for Intra-Cell Mismatch Variations. Search on Bibsonomy ISQED The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Statistical Characterization, Intra-Cell Variations, Random Variations, Mismatch Variations
1Baker Mohammad, Martin Saint-Laurent, Paul Bassett, Jacob A. Abraham Cache Design for Low Power and High Yield. Search on Bibsonomy ISQED The full citation details ... 2008 DBLP  DOI  BibTeX  RDF reduce voltage swing, sram yield, SRAM 6T cell, cache design, parametric failure
1Rajeshwary Tayade, Jacob A. Abraham On-chip Programmable Capture for Accurate Path Delay Test and Characterization. Search on Bibsonomy ITC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sankar Gurumurthy, Ramtilak Vemu, Jacob A. Abraham, Suriyaprakash Natarajan On efficient generation of instruction sequences to test for delay defects in a processor. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF native-mode self-test, delay test, software based self-test
1Rajeshwary Tayade, Jacob A. Abraham Critical Path Selection for Delay Test Considering Coupling Noise. Search on Bibsonomy European Test Symposium The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Coupling noise, weighted partial max sat, critical path selection, delay test
1Qingqi Dou, Jacob A. Abraham Jitter Decomposition in High-Speed Communication Systems. Search on Bibsonomy European Test Symposium The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Jitter Test, Jitter Analysis, Jitter Decomposition, Autocorrelation, Time domain
1Rajeshwary Tayade, Sani R. Nassif, Jacob A. Abraham Analytical model for the impact of multiple input switching noise on timing. Search on Bibsonomy ASP-DAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Chaoming Zhang, Ranjit Gharpurey, Jacob A. Abraham Low Cost RF Receiver Parameter Measurement with On-Chip Amplitude Detectors. Search on Bibsonomy VTS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Amplitude detector, RF detector, RF receiver, Built-in test, RF test
1Joonsung Park, Hongjoong Shin, Jacob A. Abraham Parallel Loopback Test of Mixed-Signal Circuits. Search on Bibsonomy VTS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Test Quality and Reliability, Loopback Test, Characterization, Mixed-signal Test, Parallel Test
1Byoungho Kim, Nash Khouzam, Jacob A. Abraham Efficient Loopback Test for Aperture Jitter in Embedded Mixed-Signal Circuits. Search on Bibsonomy VTS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Loopback Test, Aperture Jitter, Digital-to-Analog Converter, Analog-to-Digital Converter, ADC, Mixed-Signal Testing, DAC
1Qingqi Dou, Jacob A. Abraham Low-cost Test of Timing Mismatch Among Time-Interleaved A/D Converters in High-speed Communication Systems. Search on Bibsonomy VTS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Time-Interleaved ADC, Timing Mismatch, Mixed-signal testing, Low-cost test, High speed testing
1Sriram Sambamurthy, Jacob A. Abraham, Raghuram S. Tupuri A Robust Top-Down Dynamic Power Estimation Methodology for Delay Constrained Register Transfer Level Sequential Circuits. Search on Bibsonomy VLSI Design The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ramtilak Vemu, Abhijit Jas, Jacob A. Abraham, Srinivas Patil, Rajesh Galivanche A low-cost concurrent error detection technique for processor control logic. Search on Bibsonomy DATE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jacob A. Abraham Implications of Technology Trends on System Dependability. Search on Bibsonomy DATE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ramtilak Vemu, Jacob A. Abraham Budget-Dependent Control-Flow Error Detection. Search on Bibsonomy IOLTS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Savithri Sundareswaran, Lucie Nechanicka, Rajendran Panda, Sergey Gavrilov, Roman Solovyev, Jacob A. Abraham A timing methodology considering within-die clock skew variations. Search on Bibsonomy SoCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Baker Mohammad, Stephen Bijansky, Adnan Aziz, Jacob A. Abraham Adaptive SRAM memory for low power and high yield. Search on Bibsonomy ICCD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Shobha Vasudevan, Vinod Viswanath, Robert W. Sumners, Jacob A. Abraham Automatic Verification of Arithmetic Circuits in RTL Using Stepwise Refinement of Term Rewriting Systems. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Register Transfer Level implementation, Verification, Hardware Description Languages, arithmetic logic unit
1Byoungho Kim, Hongjoong Shin, Ji Hwan (Paul) Chun, Jacob A. Abraham Predicting mixed-signal dynamic performance using optimised signature-based alternate test. Search on Bibsonomy IET Computers & Digital Techniques The full citation details ... 2007 DBLP  BibTeX  RDF
1Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham Improved verification of hardware designs through antecedent conditioned slicing. Search on Bibsonomy STTT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF LTL property, Antecedent conditioned slicing, Verilog RTL, Model checking, Program slicing, Hardware description languages, Hardware verification
1Joonsung Park, Hongjoong Shin, Jacob A. Abraham Pseudorandom Test for Nonlinear Circuits Based on a Simplified Volterra Series Model. Search on Bibsonomy ISQED The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Rajeshwary Tayade, Savithri Sundareswaran, Jacob A. Abraham Small-Delay Defect Detection in the Presence of Process Variations. Search on Bibsonomy ISQED The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Chaoming Zhang, Ranjit Gharpurey, Jacob A. Abraham Built-In Test of RF Mixers Using RF Amplitude Detectors. Search on Bibsonomy ISQED The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ramtilak Vemu, Sankar Gurumurthy, Jacob A. Abraham ACCE: Automatic correction of control-flow errors. Search on Bibsonomy ITC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Rajeshwary Tayade, Vijay Kiran Kalyanam, Sani R. Nassif, Michael Orshansky, Jacob A. Abraham Estimating path delay distribution considering coupling noise. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF dynamic delay variation, coupling, crosstalk
1Jen-Chieh Ou, Daniel G. Saab, Qiang Qiang, Jacob A. Abraham Reducing verification overhead with RTL slicing. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF verification, test, CAD
1Sankar Gurumurthy, Ramtilak Vemu, Jacob A. Abraham, Daniel G. Saab Automatic Generation of Instructions to Robustly Test Delay Defects in Processors. Search on Bibsonomy European Test Symposium The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Byoungho Kim, Zhenhai Fu, Jacob A. Abraham Transformer-Coupled Loopback Test for Differential Mixed-Signal Specifications. Search on Bibsonomy VTS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jacob A. Abraham, Daniel G. Saab Tutorial T4A: Formal Verification Techniques and Tools for Complex Designs. Search on Bibsonomy VLSI Design The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Shobha Vasudevan, Vinod Viswanath, Jacob A. Abraham Efficient Microprocessor Verification using Antecedent Conditioned Slicing. Search on Bibsonomy VLSI Design The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Qingqi Dou, Jacob A. Abraham Jitter Decomposition by Time Lag Correlation. Search on Bibsonomy ISQED The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jen-Chieh Ou, Daniel G. Saab, Jacob A. Abraham HDL Program Slicing to Reduce Bounded Model Checking Search Overhead. Search on Bibsonomy ITC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Sankar Gurumurthy, Shobha Vasudevan, Jacob A. Abraham Automatic generation of instruction sequences targeting hard-to-detect structural faults in a processor. Search on Bibsonomy ITC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Hongjoong Shin, Joonsung Park, Jacob A. Abraham Built-in Fault Diagnosis for Tunable Analog Systems Using an Ensemble Method. Search on Bibsonomy ITC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Shobha Vasudevan, Jacob A. Abraham, Vinod Viswanath, Jiajin Tu Automatic decomposition for sequential equivalence checking of system level and RTL descriptions. Search on Bibsonomy MEMOCODE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Sriram Sambamurthy, Jacob A. Abraham, Raghuram S. Tupuri Delay Constrained Register Transfer Level Dynamic Power Estimation. Search on Bibsonomy PATMOS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Byoungho Kim, Hongjoong Shin, Ji Hwan (Paul) Chun, Jacob A. Abraham Optimized Signature-Based Statistical Alternate Test for Mixed-Signal Performance Parameters. Search on Bibsonomy European Test Symposium The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Qingqi Dou, Jacob A. Abraham Jitter decomposition in ring oscillators. Search on Bibsonomy ASP-DAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Hongjoong Shin, Byoungho Kim, Jacob A. Abraham Spectral Prediction for Specification-Based Loopback Test of Embedded Mixed-Signal Circuits. Search on Bibsonomy VTS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ramyanshu Datta, Gary D. Carpenter, Kevin J. Nowka, Jacob A. Abraham A Scheme for On-Chip Timing Characterization. Search on Bibsonomy VTS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Qiang Qiang, Daniel G. Saab, Jacob A. Abraham Checking Nested Properties Using Bounded Model Checking and Sequential ATPG. Search on Bibsonomy VLSI Design The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Vinod Viswanath, Jacob A. Abraham, Warren A. Hunt Jr. Automatic insertion of low power annotations in RTL for pipelined microprocessors. Search on Bibsonomy DATE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ramyanshu Datta, Jacob A. Abraham, Abdulkadir Utku Diril, Abhijit Chatterjee, Kevin J. Nowka Adaptive Design for Performance-Optimized Robustness. Search on Bibsonomy DFT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ramtilak Vemu, Jacob A. Abraham CEDA: Control-flow Error Detection through Assertions. Search on Bibsonomy IOLTS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham Efficient Model Checking of Hardware Using Conditioned Slicing. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 315 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.