Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT.
- Published in:
- Journal of Electronic Testing, 2010, v. 26, n. 2, p. 261, doi. 10.1007/s10836-010-5144-0
- By:
- Publication type:
- Article
Works matching IS 09238174 AND DT 2010 AND VI 26 AND IP 2
Results: 12
1
2
RTL DFT Techniques to Enhance Defect Coverage for Functional Test Sequences.
- Published in:
- Journal of Electronic Testing, 2010, v. 26, n. 2, p. 151, doi. 10.1007/s10836-009-5135-1
- By:
- Publication type:
- Article
3
Qualifying Serial Interface Jitter Rapidly and Cost-effectively.
- Published in:
- Journal of Electronic Testing, 2010, v. 26, n. 2, p. 177, doi. 10.1007/s10836-009-5131-5
- By:
- Publication type:
- Article
4
Search State Compatibility Based Incremental Learning Framework and Output Deviation Based X-filling for Diagnostic Test Generation.
- Published in:
- Journal of Electronic Testing, 2010, v. 26, n. 2, p. 165, doi. 10.1007/s10836-010-5142-2
- By:
- Publication type:
- Article
5
Test Technology Newsletter.
- Published in:
- Journal of Electronic Testing, 2010, v. 26, n. 2, p. 147, doi. 10.1007/s10836-010-5151-1
- Publication type:
- Article
6
Editorial.
- Published in:
- 2010
- By:
- Publication type:
- Editorial
7
Learning from Constraints for Formal Property Checking.
- Published in:
- Journal of Electronic Testing, 2010, v. 26, n. 2, p. 243, doi. 10.1007/s10836-010-5143-1
- By:
- Publication type:
- Article
8
Defining and Providing Coverage for Assertion-Based Dynamic Verification.
- Published in:
- Journal of Electronic Testing, 2010, v. 26, n. 2, p. 211, doi. 10.1007/s10836-010-5148-9
- By:
- Publication type:
- Article
9
Guest Editorial.
- Published in:
- Journal of Electronic Testing, 2010, v. 26, n. 2, p. 149, doi. 10.1007/s10836-010-5149-8
- By:
- Publication type:
- Article
10
Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems.
- Published in:
- Journal of Electronic Testing, 2010, v. 26, n. 2, p. 279, doi. 10.1007/s10836-009-5140-4
- By:
- Publication type:
- Article
11
Fault Table Computation on GPUs.
- Published in:
- Journal of Electronic Testing, 2010, v. 26, n. 2, p. 195, doi. 10.1007/s10836-010-5147-x
- By:
- Publication type:
- Article
12
Analysis of Scheduled Latency Insensitive Systems with Periodic Clock Calculus.
- Published in:
- Journal of Electronic Testing, 2010, v. 26, n. 2, p. 227, doi. 10.1007/s10836-010-5145-z
- By:
- Publication type:
- Article