Ohad Shacham

Follow

Person

US

People

Patents Applicationslast 30 patents

Information Patent Application
VERIFICATION TECHNIQUES FOR LIVENESS CHECKING OF LOGIC DESIGNS
- Publication number 20120216159
- Publication date Aug 23, 2012
- International Buisness Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING