We present a preliminary study on the design of an error resilient version of binary decision diagrams (BDDs). For this purpose, we show how to infer and exploit implicitinformation in BDDs in order to reconstruct faulty data.
2012
Lorenzo Lago
Anna Bernasconi
Valentina Ciriani
Euromicro Conference on Digital System Design (DSD) and Software Engineering and Advanced Applications (SEAA), WIP Session