Skip to main content

Equivalence Checking of a Floating−Point Unit Against a High−Level C Model

Rajdeep Mukherjee‚ Saurabh Joshi‚ Andreas Griesmayer‚ Daniel Kroening and Tom Melham

Book Title
FM
Pages
551–558
Year
2016