Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Dirhaj Pradhan |
ATPG-based Techniques for Verification. |
LATW |
2006 |
DBLP BibTeX RDF |
|
17 | Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli |
EFSM Manipulation to Increase High-Level ATPG Effectiveness. |
ISQED |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Xiaoqing Wen, Seiji Kajihara, Kohei Miyase, Tatsuya Suzuki, Kewal K. Saluja, Laung-Terng Wang, Khader S. Abdel-Hafez, Kozo Kinoshita |
A New ATPG Method for Efficient Capture Power Reduction During Scan Testing. |
VTS |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Seiji Kajihara, Shohei Morishima, Akane Takuma, Xiaoqing Wen, Toshiyuki Maeda, Shuji Hamada, Yasuo Sato |
A Framework of High-quality Transition Fault ATPG for Scan Circuits. |
ITC |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Roger Nicholson, Cathy Kardach, Bruce Cory |
The Role of ATPG Fault Diagnostics in Driving Physical Analysis. |
ITC |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Xiaoding Chen, Michael S. Hsiao |
Characteristic States and Cooperative Game Based Search for Efficient Sequential ATPG and Design Validation. |
ITC |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Xiaoming Yu, Miron Abramovici |
Sequential circuit ATPG using combinational algorithms. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Jorge Campos, Hussain Al-Asaad |
Search-Space Optimizations for High-Level ATPG. |
MTV |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Franco Fummi, Graziano Pravadelli, Franco Toto |
Coverage of formal properties based on a high-level fault model and functional ATPG. |
ETS |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Jaan Raik, Raimund Ubar, Joachim Sudbrock, Wieslaw Kuzmicz, Witold A. Pleskacz |
DOT: new deterministic defect-oriented ATPG tool. |
ETS |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Qiang Qiang, Daniel G. Saab, Jacob A. Abraham |
An Emulation Model for Sequential ATPG-Based Bounded Model Checking. |
FPL |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Mehrdad Nourani, Arun Radhakrishnan |
Power-supply noise in SoCs: ATPG, estimation and control. |
ITC |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Nikhil Saluja, Sunil P. Khatri |
Efficient SAT-based combinational ATPG using multi-level don't-cares. |
ITC |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Scott Davidson 0001 |
A practical look at ATPG. |
IEEE Des. Test Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Ismet Bayraktaroglu, Manuel d'Abreu |
ATPG based functional test for data paths: application to a floating point unit. |
HLDVT |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Carlos Eduardo Savioli, Claudio C. Czendrodi, José Vicente Calvano, Antonio Carneiro de Mesquita Filho |
ATPG for fault diagnosis on analog electrical networks using evolutionary techniques. |
SBCCI |
2004 |
DBLP DOI BibTeX RDF |
genetic algorithms, automatic test pattern generation, fault models, analog and mixed-signal test |
17 | Andreas G. Veneris, Robert Chang, Magdy S. Abadir, Mandana Amiri |
Fault equivalence and diagnostic test generation using ATPG. |
ISCAS (5) |
2004 |
DBLP BibTeX RDF |
|
17 | Qingwei Wu, Michael S. Hsiao |
Efficient ATPG for Design Validation Based On Partitioned State Exploration Histories. |
VTS |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Qingwei Wu, Michael S. Hsiao |
State Variable Extraction to Reduce Problem Complexity for ATPG and Design Validation. |
ITC |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Puneet Gupta, Michael S. Hsiao |
ALAPTF: A new Transition Faultmodel and the ATPG Algorithm. |
ITC |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Xiao Liu 0010 |
ATPG and DFT Algorithms for Delay Fault Testing. |
|
2004 |
RDF |
|
17 | Zhigang Yin, Yinghua Min, Xiaowei Li 0001, Huawei Li 0001 |
A Novel RT-Level Behavioral Description Based ATPG Method. |
J. Comput. Sci. Technol. |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Hideyuki Ichihara, Tomoo Inoue |
A Method of Test Generation for Acyclic Sequential Circuits Using Single Stuck-at Fault Combinational ATPG. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2003 |
DBLP BibTeX RDF |
|
17 | Srikanth Arekapudi, Fei Xin, Jinzheng Peng, Ian G. Harris |
ATPG for Timing Errors in Globally Asynchronous Locally Synchronous Systems. |
J. Circuits Syst. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Hideyuki Ichihara, Tomoo Inoue |
Test Generation for Acyclic Sequential Circuits with Single Stuck-at Fault Combinational ATPG. |
DATE |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Kameshwar Chandrasekar, Michael S. Hsiao |
ATPG-based preimage computation: efficient search space pruning with ZBDD. |
HLDVT |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Jishun Kuang, Yu Wang, Xiaofen Wei, Changnian Zhang |
IDDT ATPG Based on Ambiguous Delay Assignments. |
Asian Test Symposium |
2003 |
DBLP DOI BibTeX RDF |
IDDT testing, delay Assignments, stuck-open fault |
17 | Rahul Kundu, R. D. (Shawn) Blanton |
ATPG for Noise-Induced Switch Failures in Domino Logic. |
ICCAD |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Henk D. L. Hollmann, Erik Jan Marinissen, Bart Vermeulen |
Optimal Interconnect ATPG Under a Ground-Bounce Constraint. |
ITC |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Lech Józwiak, Aleksander Slusarczyk, Marek A. Perkowski |
Term Trees in Application to an Effective and Efficient ATPG for AND-EXOR and AND-OR Circuits. |
VLSI Design |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Yinghua Min |
Why RTL ATPG? |
J. Comput. Sci. Technol. |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Fatih Kocan, Daniel G. Saab |
Correction to "ATPG for combinational circuits on configurable hardware". |
IEEE Trans. Very Large Scale Integr. Syst. |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Srikanth Arekapudi, Fei Xin, Jinzheng Peng, Ian G. Harris |
ATPG for timing-induced functional errors on trigger events in hardware-software systems. |
ETW |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Xiao Liu 0010, Michael S. Hsiao, Sreejit Chakravarty, Paul J. Thadikaran |
Novel ATPG algorithms for transition faults. |
ETW |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Mukul R. Prasad, Michael S. Hsiao, Jawahar Jain |
Improving Sequential ATPG Using SAT Methods. |
IWLS |
2002 |
DBLP BibTeX RDF |
|
17 | Miron Abramovici, Xiaoming Yu, Elizabeth M. Rudnick |
Low-cost sequential ATPG with clock-control DFT. |
DAC |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Takeshi Asakawa, Kazuhiko Iwasaki |
Using ATPG vectors for BIST test pattern generator. |
Syst. Comput. Jpn. |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Ashish Giani, Shuo Sheng, Michael S. Hsiao, Vishwani D. Agrawal |
Efficient spectral techniques for sequential ATPG. |
DATE |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Michael S. Hsiao, Jawahar Jain |
Practical use of sequential ATPG for model checking: going the extra mile does pay off. |
HLDVT |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Ganapathy Parthasarathy, Chung-Yang Huang, Kwang-Ting Cheng |
An analysis of ATPG and SAT algorithms for formal verification. |
HLDVT |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Huawei Li 0001, Yinghua Min, Zhongcheng Li |
An RT-Level ATPG Based on Clustering of Circuit States. |
Asian Test Symposium |
2001 |
DBLP DOI BibTeX RDF |
cluster of states, automatic test pattern generation, register-transfer level, behavioral descriptions |
17 | Miron Abramovici, Xiaoming Yu, Elizabeth M. Rudnick |
Sequential ATPG Using Combinational Algorithms. |
LATW |
2001 |
DBLP BibTeX RDF |
|
17 | Ivor Ting, Andreas G. Veneris, Magdy S. Abadir |
ATPG Driven Logic Synthesis for Delay and Power Minimization. |
LATW |
2001 |
DBLP BibTeX RDF |
|
17 | Magdy S. Abadir, Scott Davidson 0001, Vijay Nagasamy, Dhiraj K. Pradhan, Prab Varma |
ATPG for Design Errors-Is It Possible? |
VTS |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Rainer Dorsch, Hans-Joachim Wunderlich |
Tailoring ATPG for embedded testing. |
ITC |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Carl Barnhart, Vanessa Brunkhorst, Frank Distler, Owen Farnsworth, Brion L. Keller, Bernd Könemann, Andrej Ferko |
OPMISR: the foundation for compressed ATPG vectors. |
ITC |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Sudip Chakrabarti, Abhijit Chatterjee |
Partial Simulation-Driven ATPG for Detection and Diagnosis of Faults in Analog Circuits. |
ICCAD |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Jayanta Bhadra, Magdy S. Abadir, Jacob A. Abraham |
A quick and inexpensive method to identify false critical paths using ATPG techniques: an experiment with a PowerPCTM microprocessor. |
CICC |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Yiorgos Makris, Alex Orailoglu, Praveen Vishakantaiah |
Modular test generation and concurrent transparency-based test translation using gate-level ATPG. |
CICC |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Jayanta Batra, Magdy S. Abadir, Jacob A. Abraham |
A Quick and Inexpensive Method to Identify False Critical Paths Using ATPG Techniques: an Experiment with a PowerPC Microprocessor. |
LATW |
2000 |
DBLP BibTeX RDF |
|
17 | Marcelino B. Santos, João Paulo Teixeira 0001 |
Experiments on RTL ATPG and Fault Simulation for High Defect Coverage in Digital Systems-on-a-Chip. |
LATW |
2000 |
DBLP BibTeX RDF |
|
17 | Chung-Yang Huang, Bwolen Yang, Huan-Chih Tsai, Kwang-Ting Cheng |
Static property checking using ATPG vs. BDD techniques. |
ITC |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Dimitri Kagaris |
ATPG and BIST. |
The VLSI Handbook |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Peter Wohl, John A. Waicukauski |
Using Verilog simulation libraries for ATPG. |
ITC |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Jennifer Dworak, Michael R. Grimaila, Sooryong Lee, Li-C. Wang, M. Ray Mercer |
Modeling the probability of defect excitation for a commercial IC with implications for stuck-at fault-based ATPG strategies. |
ITC |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Scott Davidson 0001 |
Changing our Path to High Level ATPG. |
ITC |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Mario Konijnenburg, Hans van der Linden, Jeroen Geuzebroek |
Benchmarking DAT with the ITC'99 ATPG Benchmarks. |
ITC |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Matteo Sonza Reorda |
High-level ATPG: a real topic or an academic amusement? |
ITC |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Wolfgang Roethig |
High-level ATPG for Early Power Analysis. |
ITC |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Kuo-Hui Tsai, Tompson, Janusz Rajski, Malgorzata Marek-Sadowska |
STAR-ATPG: a high speed test pattern generator for large scan designs. |
ITC |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Mahesh A. Iyer |
High Time For High Level ATPG. |
ITC |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Wu-Tung Cheng |
High time for high level ATPG. |
ITC |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Rohit Kapur |
High level ATPG is important and is on its way! |
ITC |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Mukul R. Prasad, Philip Chong, Kurt Keutzer |
Why is ATPG Easy? |
DAC |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Seongmoon Wang, Sandeep K. Gupta 0001 |
ATPG for Heat Dissipation Minimization During Test Application. |
IEEE Trans. Computers |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel |
Application of genetically engineered finite-state-machine sequences to sequential circuit ATPG. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Hideo Fujiwara |
Needed: Third-generation ATPG Benchmarks. |
IEEE Des. Test Comput. |
1998 |
DBLP BibTeX RDF |
|
17 | Sam D. Huynh, Seongwon Kim, Mani Soma, Jinyan Zhang |
Testability analysis and multi-frequency ATPG for analog circuits and systems. |
ICCAD |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Fulvio Corno, Janak H. Patel, Elizabeth M. Rudnick, Matteo Sonza Reorda, Roberto Vietti |
Enhancing topological ATPG with high-level information and symbolic techniques. |
ICCD |
1998 |
DBLP DOI BibTeX RDF |
|
17 | William E. Dougherty, R. D. (Shawn) Blanton |
Using regression analysis for GA-based ATPG parameter optimization. |
ICCD |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Dimitrios Karayiannis, Spyros Tragoudas |
A Nonenumerative ATPG for Functionally Sensitizable Path Delay Faults. |
VTS |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Peter Wohl, John A. Waicukauski |
Defining ATPG rules checking in STIL. |
ITC |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Sitaram Yadavalli, Sanjay Sengupta |
Impact and Cost of Modeling Memories for ATPG for Partial Scan Designs. |
VLSI Design |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Wangning Long, Shiyuan Yang, Zhongcheng Li, Yinghua Min |
Memory Efficient ATPG for Path Delay Faults. |
Asian Test Symposium |
1997 |
DBLP DOI BibTeX RDF |
Delay Testing, Automatic Test Generation, IC Testing, Path Sensitization |
17 | Andrew Flint |
A Simulation-Based JTAG ATPG Optimized for MCMs. |
ITC |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Raghuram S. Tupuri, Jacob A. Abraham |
A Novel Functional Test Generation Method for Processors Using Commercial ATPG. |
ITC |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda |
Testability Analysis and ATPG on Behavioral RT-Level VHDL. |
ITC |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Thomas E. Marchok, Aiman H. El-Maleh, Wojciech Maly, Janusz Rajski |
A complexity analysis of sequential ATPG. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel |
Alternating Strategies for Sequential Circuit ATPG. |
ED&TC |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Peter Wohl, John A. Waicukauski |
Test Generation for Ultra-Large Circuits Using ATPG Constraints and Test-Pattern Templates. |
ITC |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Marc E. Levitt |
Formal Verification of the UltraSPARCTM Family of Processors via ATPG Methods. |
ITC |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Shi-Yu Huang, Kwang-Ting Cheng, Kuang-Chien Chen, Uwe Gläser |
An ATPG-Based Framework for Verifying Sequential Equivalence. |
ITC |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Patrick Girard 0001, Christian Landrault, Serge Pravossoudovitch, B. Rodriguez |
A Diagnostic ATPG for Delay Faults Based on Genetic Algorithms. |
ITC |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Fabrizio Ferrandi, Franco Fummi, Enrico Macii, Massimo Poncino, Donatella Sciuto |
Symbolic Optimization of FSM Networks Based on Sequential ATPG Techniques. |
DAC |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Zhong Zhang |
Simulation of ATPG neural network and its experimental results. |
J. Comput. Sci. Technol. |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Vishwani D. Agrawal, Srimat T. Chakradhar |
Combinational ATPG theorems for identifying untestable faults in sequential circuits. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Shang-E Tai, Debashis Bhattacharya |
A three-stage partial scan design method to ease ATPG. |
J. Electron. Test. |
1995 |
DBLP DOI BibTeX RDF |
minimum feed back vertex set, design for testability, partial scan design |
17 | Jaehong Park, Chanhee Oh, M. Ray Mercer |
Improved sequential ATPG using functional observation information and new justification methods. |
ED&TC |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda |
GARDA: a diagnostic ATPG for large synchronous sequential circuits. |
ED&TC |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Thomas E. Marchok, Aiman El-Maleh, Wojciech Maly, Janusz Rajski |
Complexity of sequential ATPG. |
ED&TC |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Hannes C. Wittmann, Manfred Henftling |
Path delay ATPG for standard scan design. |
EURO-DAC |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Manfred Henftling, Hannes C. Wittmann, Kurt Antreich |
A formal non-heuristic ATPG approach. |
EURO-DAC |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Jos van Sas, Erik Huyskens, Hans Naert, Fred Schell, Ad J. van de Goor |
Coping with Re-usability Using Sequential ATPG: A Practical Case Study. |
ITC |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Ben Mathew, Daniel G. Saab |
DFT & ATPG: Together Again. |
ITC |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Akachai Sang-In, Peter Y. K. Cheung |
A Method of Representative Fault Selection in Digital Circuits for ATPG. |
ISCAS |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Byung S. So, Charles R. Kime |
ICAT: incremental combinational ATPG. |
VTS |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Gianpiero Cabodi, Paolo Camurati, Stefano Quer |
Full-Symbolic ATPG for Large Circuits. |
ITC |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Seongmoon Wang, Sandeep K. Gupta 0001 |
ATPG for Heat Dissipation Minimization During Test Application. |
ITC |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Maria José Aguado, Miguel Miranda, Eduardo de la Torre, Carlos A. López-Barrio |
A dynamic communication strategy for the distributed ATPG system DPLATON. |
EURO-DAC |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Yasushi Koseko, Takuji Ogihara, Shinichi Murai |
Tri-state bus conflict checking method for ATPG using BDD. |
ICCAD |
1993 |
DBLP DOI BibTeX RDF |
|