Modular verification of multipliers Journal Article

Overview

CU Boulder Authors

• Somenzi, Fabio

publication date

• January 1, 1996

Full Author List

• Ravi K; Pardo A; Hachtel GD; Somenzi F

published in

• Lecture Notes in Artificial Intelligence  Journal

Additional Document Info

start page

• 49

end page

• 63

volume

• 1166