Details
Title
Becker, Andrew James
Sciper ID
211379
Affiliated labs
LAP
Publications
Arbitrary Precision and Complexity Tradeoffs for Gate-Level Information Flow Tracking
FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction
Satisfiability-Based Methods for Digital Circuit Design, Debug, and Optimization
FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction
Satisfiability-Based Methods for Digital Circuit Design, Debug, and Optimization
Link to search
All resources
Record appears in
Authorities > People