Search results for "illegal state"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	M. H. Konijnenburg, J. Th. van der Linden, A. J. van de Goor	Illegal State Space Identification for Sequential Circuit Test Generation.	DATE	1999	DBLP DOI BibTeX RDF
1	Feng Yuan, Qiang Xu	On systematic illegal state identification for pseudo-functional testing.	DAC	2009	DBLP DOI BibTeX RDF	illegal states, pseudo-functional testing
1	Vishnu C. Vimjam, Michael S. Hsiao	Fast illegal state identification for improving SAT-based induction.	DAC	2006	DBLP DOI BibTeX RDF	learning, ATPG, SAT, induction
1	Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Li-C. Wang	Efficient reachability checking using sequential SAT.	ASP-DAC	2004	DBLP DOI BibTeX RDF
1	Madhu K. Iyer, Ganapathy Parthasarathy, Kwang-Ting Cheng	SATORI - A Fast Sequential SAT Engine for Circuits.	ICCAD	2003	DBLP DOI BibTeX RDF
1	Oliver E. Theel	A verification technique for self-stabilizing algorithms based on Ljapunov's "Second Method" (brief announcement).	PODC	2000	DBLP DOI BibTeX RDF
1	M. H. Konijnenburg, J. Th. van der Linden, A. J. van de Goor	Sequential Test Generation with Advanced Illegal State Search.	ITC	1997	DBLP DOI BibTeX RDF
1	Hiroaki Iwashita, Tsuneo Nakata	Forward model checking techniques oriented to buggy designs.	ICCAD	1997	DBLP DOI BibTeX RDF	symbolic state traversal, forward model checking, formal verification, symbolic model checking
1	Mitchell Flatebo, Ajoy Kumar Datta	Two-State Self-Stabilizing Algorithms for Token Rings.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	two-state self-stabilizing algorithms, legal state, illegal state, infrequent errors, randomized central demon, asynchronous unidirectional ring, binary state machines, distributed system, reliability, distributed algorithms, distributed algorithms, fault tolerant computing, probability, local area networks, probabilistic algorithm, network connections, token rings, token networks, mutual exclusion algorithms

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