LexDanaLexDanabeta
Inventor

Shmuel Sagiv

Inventor
Tel Aviv, IL

Overview

4→
Patents
1996–2014
Patent span
Physics
Primary field (CPC G)

Patents· 4 as inventor

Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.

G06Fprimary
G06FElectric digital data processing100%
PatentTitleYear
8,862,439'General numeric backtracking algorithm for solving satifiability problems to verify functionality of circuits and software'20148,656,330'Apparatus with general numeric backtracking algorithm for solving satisfiability problems to verify functionality of circuits and software'20146,301,699'Method for detecting buffer overflow for computer security'20015,555,412'Complier and method for alias checking in a complier'1996

Career & activity timeline

Assembled from patent assignee/location history and declaration credentials.

1996Based in Ramat Hasharon, IL· patent location history
2001Patents assigned to COREKT SECURITY SYSTEMS INC (1)· patent assignee history
2001–2014Based in Tel Aviv, IL· patent location history
2014Patents assigned to CADENCE DESIGN SYSTEMS INC (2)· patent assignee history
2014Patents assigned to KUEHLMANN ANDREAS (2)· patent assignee history
2014Patents assigned to MCMILLAN KENNETH L (2)· patent assignee history
2014Patents assigned to SAGIV SHMUEL (2)· patent assignee history

Inventor activity

Assignee and location history derived from the patent record.

Assignees
AssigneePatentsSpan
CADENCE DESIGN SYSTEMS INC22014
KUEHLMANN ANDREAS22014
MCMILLAN KENNETH L22014
SAGIV SHMUELself22014
COREKT SECURITY SYSTEMS INC12001
Locations
LocationPatentsSpan
Tel Aviv, IL32001–2014
Ramat Hasharon, IL11996