Search results for "necessary assignments"

Found 10 publication records. Showing 10 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Irith Pomeranz, Sudhakar M. Reddy	Definition and application of approximate necessary assignments.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	necessary assignments, random test generation, test generation, stuck-at faults
1	Irith Pomeranz, Sudhakar M. Reddy	Input Necessary Assignments for Testing of Path Delay Faults in Standard-Scan Circuits.	IEEE Trans. VLSI Syst.	2011	DBLP DOI BibTeX RDF
1	Hiroshi Takahashi, Yoshinobu Higami, Toru Kikkawa, Takashi Aikyo, Yuzo Takamatsu, Hiroyuki Yotsuyanagi, Masaki Hashizume	Test Generation and Diagnostic Test Generation for Open Faults with Considering Adjacent Lines.	DFT	2007	DBLP DOI BibTeX RDF
1	Vishnu C. Vimjam, Manan Syal, Michael S. Hsiao	Untestable fault identification through enhanced necessary value assignments.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	implications, untestable faults
1	Inês Lynce, João P. Marques Silva	Improving SAT Algorithms by Using Search Pruning Techniques.	CP	2001	DBLP DOI BibTeX RDF
1	Maroun Kassab, Eduard Cerny, Sidi Aourid, Thomas H. Krodel	Propagation of Last-Transition-Time Constraints in Gate-Level Timing Analysis.	DATE	1998	DBLP DOI BibTeX RDF	Waveforms, Graph Dominators, Domain narrowing, Formal Verification, Timing Verification, Combinational Logic circuits
1	Zohair Sahraoui, Francky Catthoor, Paul Six, Hugo De Man	Techniques for Reducing the Number of Decisions and Backtracks in Combinational Test Generation.	J. Electronic Testing	1998	DBLP DOI BibTeX RDF	supergate, prime-and-irredundant, ATPG, BDD
1	Vasco M. Manquinho, Paulo F. Flores, João P. Marques Silva, Arlindo L. Oliveira	Prime Implicant Computation Using Satisfiability Algorithms. (PDF / PS)	ICTAI	1997	DBLP DOI BibTeX RDF	Integer Programming Algorithms, Propositional Satisfiability Algorithms, Backtrack Search Strategies, Prime Implicants
1	Wolfgang Kunz, Dhiraj K. Pradhan	Recursive learning: a new implication technique for efficient solutions to CAD problems-test, verification, and optimization.	IEEE Trans. on CAD of Integrated Circuits and Systems	1994	DBLP DOI BibTeX RDF
1	Janusz Rajski, Henry Cox	A method to calculate necessary assignments in algorithmic test pattern generation.	ITC	1990	DBLP DOI BibTeX RDF

Displaying result #1 - #10 of 10 (100 per page; Change: )