Search results for "ATPG"

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