Publication | Closed Access
SALSA
327
Citations
18
References
2012
Year
Unknown Venue
Logic SynthesisEngineeringElectronic Design AutomationProgram AnalysisApproximate ComputingVerificationComputer EngineeringFormal MethodsSystems EngineeringComputer ArchitectureNew Design ParadigmComputer-aided VerificationComputer ScienceExact Boolean EquivalenceFormal VerificationFunctional Verification
Approximate computing has emerged as a new design paradigm that exploits the inherent error resilience of a wide range of application domains by allowing hardware implementations to forsake exact Boolean equivalence with algorithmic specifications. A slew of manual design techniques for approximate computing have been proposed in recent years, but very little effort has been devoted to design automation.
| Year | Citations | |
|---|---|---|
Page 1
Page 1