System and method for performing assertion-based analysis of circuit designs
A Standard patent application filed on 17 March 2000 credited to Chandra, Rajit ; Somanathan, Chandrasekhara ; Parks, Steven B. ; Mitra, Joydeep

Details

Application number :

37541  

Application type :

Standard  

Application status :

LAPSED  

Under opposition :

No  

Proceeding type :

 

Invention title :

System and method for performing assertion-based analysis of circuit designs  

Inventor :

Chandra, Rajit ; Somanathan, Chandrasekhara ; Parks, Steven B. ; Mitra, Joydeep  

Agent name :

 

Address for service :

 

Filing date :

17 March 2000  

Associated companies :

 

Applicant name :

Moscape, Inc.  

Applicant address :

 

Old name :

 

Original Source :

Go