Amanote Research
Register
Sign In
BackSpace: Formal Analysis for Post-Silicon Debug
doi 10.1109/fmcad.2008.ecp.9
Full Text
Open PDF
Abstract
Available in
full text
Date
November 1, 2008
Authors
Flavio M. De Paula
Marcel Gort
Alan J. Hu
Steven J. E. Wilton
Jin Yang
Publisher
IEEE
Related search
COT Flow Imposes Added Requirements for Debug
Formal Equivalence Analysis
Automated Framework for Formal Operator Task Analysis
Do Moods Affect Programmers’ Debug Performance?
Cognition, Technology and Work
Computer Science Applications
Philosophy
Human-Computer Interaction
An Energy-Efficient Patchable Accelerator for Post-Silicon Engineering Changes
Post-Deposition Catalytic-Doping of Microcrystalline Silicon Thin Layer for Application in Silicon Heterojunction Solar Cell
Thin Solid Films
Surfaces
Alloys
Optical
Interfaces
Metals
Materials Chemistry
Magnetic Materials
Films
Coatings
Electronic
Trace Signal Selection for Visibility Enhancement in Post-Silicon Validation
Using Formal Concept Analysis for Microarray Data Comparison
Journal of Bioinformatics and Computational Biology
Biochemistry
Computer Science Applications
Molecular Biology
Formal Analysis of a Model for Electronic Payment Systems
