2016 Formal Methods in Computer-Aided Design (FMCAD)
Latest Publications

TOTAL DOCUMENTS

39
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By IEEE

9780983567868
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A consistency checker for memory subsystem traces

2016 ◽  
Author(s):  
Matthew Naylor ◽  
Simon W. Moore ◽  
Alan Mujumdar
Keyword(s):  
Memory Subsystem

scholarly journals Reducing interpolant circuit size by ad-hoc logic synthesis and SAT-based weakening

2016 ◽  
Author(s):  
G. Cabodi ◽  
P. E. Camurati ◽  
M. Palena ◽  
P. Pasini ◽  
D. Vendraminetto
Keyword(s):  
Ad Hoc ◽  
Logic Synthesis

Formal verification of division and square root implementations, an Oracle report

2016 ◽  
Author(s):  
David L. Rager ◽  
Jo Ebergen ◽  
Dmitry Nadezhin ◽  
Austin Lee ◽  
Cuong Kim Chau ◽  
...  
Keyword(s):  
Formal Verification ◽  
Square Root
Load More ...
Sign in / Sign up

Export Citation Format

Share Document