Approximate Hardware Generation Using Formal Techniques

@inbook{pub10164,
    author = {

Fröhlich, Saman
 and 

Große, Daniel
 and 

Drechsler, Rolf
},
    editor = {

Reda, Sherief
 and 

Shafique, Muhammad
},
    title = {Approximate Hardware Generation Using Formal Techniques},
    booktitle = {Approximate Circuits: Methodologies and CAD},
    year = {2019},
    pages = {155--174},
    publisher = {Approximate Circuits: Methodologies and CAD}
}