TCS / Research / Publications / Equivalence checking hardware multiplier designs
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Equivalence checking hardware multiplier designs

Reference:

Matti Järvisalo. Equivalence checking hardware multiplier designs, 2007. SAT Competition 2007 benchmark description. Available at http://www.satcompetition.org/2007/contestants.html.

Suggested BibTeX entry:

@misc{Jarvisalo:SATCompetition07,
    author = {Matti J\"arvisalo},
    note = {SAT Competition 2007 benchmark description. Available at \url{http://www.satcompetition.org/2007/contestants.html}},
    title = {Equivalence checking hardware multiplier designs},
    year = {2007},
}

PostScript (262 kB)
GZipped PostScript (101 kB)
PDF (123 kB)
See www.tcs.hut.fi ...

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.