Open AccessTesting and Formal Verification of Logarithmic Function Design
Author(s) -
Sanjeev Agarwal,
Indu Bhuria,
Reema Patel,
B. P. Singh
Publication year - 2010
Publication title -
aip conference proceedings
Language(s) - English
Resource type - Conference proceedings
eISSN - 1551-7616
pISSN - 0094-243X
DOI - 10.1063/1.3526266
Subject(s) - computer science , normalization (sociology) , compiler , automatic test pattern generation , logarithm , functional verification , design for testing , multiplicative function , algorithm , programming language , formal verification , theoretical computer science , reliability engineering , mathematics , engineering , mathematical analysis , sociology , anthropology , testability , electrical engineering , electronic circuit
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom