On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation.
- Published in:
- Journal of Electronic Testing, 2013, v. 29, n. 5, p. 647, doi. 10.1007/s10836-013-5409-5
- By:
- Publication type:
- Article
Works matching IS 09238174 AND DT 2013 AND VI 29 AND IP 5
Results: 10
1
2
A Semantics-based Translation Method for Automated Verification of SystemC TLM Designs.
- Published in:
- Journal of Electronic Testing, 2013, v. 29, n. 5, p. 685, doi. 10.1007/s10836-013-5406-8
- By:
- Publication type:
- Article
3
Test Technology Newsletter.
- Published in:
- Journal of Electronic Testing, 2013, v. 29, n. 5, p. 619, doi. 10.1007/s10836-013-5412-x
- Publication type:
- Article
4
Observation-Oriented ATPG and Scan Chain Disabling for Capture Power Reduction.
- Published in:
- Journal of Electronic Testing, 2013, v. 29, n. 5, p. 625, doi. 10.1007/s10836-013-5404-x
- By:
- Publication type:
- Article
5
Guest Editorial: Test and Verification Challenges for Future Microprocessors and SoC Designs.
- Published in:
- 2013
- By:
- Publication type:
- Editorial
6
Formal Verification of Analog and Mixed Signal Designs Using SPICE Circuit Simulation Traces.
- Published in:
- Journal of Electronic Testing, 2013, v. 29, n. 5, p. 715, doi. 10.1007/s10836-013-5407-7
- By:
- Publication type:
- Article
7
LLVMVF: A Generic Approach for Verification of Multicore Software.
- Published in:
- Journal of Electronic Testing, 2013, v. 29, n. 5, p. 635, doi. 10.1007/s10836-013-5405-9
- By:
- Publication type:
- Article
8
A Novel Formalism for Partially Defined Asynchronous Feedback Digital Circuits.
- Published in:
- Journal of Electronic Testing, 2013, v. 29, n. 5, p. 697, doi. 10.1007/s10836-013-5410-z
- By:
- Publication type:
- Article
9
Automatic Generation of System Level Assertions from Transaction Level Models.
- Published in:
- Journal of Electronic Testing, 2013, v. 29, n. 5, p. 669, doi. 10.1007/s10836-013-5403-y
- By:
- Publication type:
- Article
10
Editorial.
- Published in:
- 2013
- By:
- Publication type:
- Editorial