High-Level Verification
Latest Publications

TOTAL DOCUMENTS

9
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer New York

9781441993588, 9781441993595
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Execution-Based Model Checking for High-Level Designs

2011 ◽  
pp. 51-66
Author(s):  
Sudipta Kundu ◽  
Sorin Lerner ◽  
Rajesh K. Gupta
Keyword(s):  
Model Checking ◽  
High Level

Introduction

2011 ◽  
pp. 1-9
Author(s):  
Sudipta Kundu ◽  
Sorin Lerner ◽  
Rajesh K. Gupta

Verification Using Automated Theorem Provers

2011 ◽  
pp. 37-50
Author(s):  
Sudipta Kundu ◽  
Sorin Lerner ◽  
Rajesh K. Gupta
Keyword(s):  
Theorem Provers

Background

2011 ◽  
pp. 11-23
Author(s):  
Sudipta Kundu ◽  
Sorin Lerner ◽  
Rajesh K. Gupta

Conclusions and Future Work

2011 ◽  
pp. 147-150
Author(s):  
Sudipta Kundu ◽  
Sorin Lerner ◽  
Rajesh K. Gupta
Keyword(s):  
Future Work

Translation Validation of High-Level Synthesis

2011 ◽  
pp. 97-121
Author(s):  
Sudipta Kundu ◽  
Sorin Lerner ◽  
Rajesh K. Gupta
Keyword(s):  
High Level Synthesis ◽  
Translation Validation ◽  
High Level

Related Work

2011 ◽  
pp. 25-35
Author(s):  
Sudipta Kundu ◽  
Sorin Lerner ◽  
Rajesh K. Gupta
Load More ...
Sign in / Sign up

Export Citation Format

Share Document