Searching for authors named "Satyaki Das" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Design, Synthesis and Evaluation of Heterogeneous FPGA with Mixed LUTs and Macro-Gates ∗ ABSTRACT
- … Yu Hu 1,2 , Satyaki Das 2 , Steve Trimberger 2 and Lei He 1 Electrical Engineering Department, UCLA…
- Add To MetaCart
-
Counter-Example Based Predicate Discovery in Predicate Abstraction
- …Counter-Example Based Predicate Discovery in Predicate Abstraction ? Satyaki Das and David L. Dill…
- Cited by 41 (2 self) – Add To MetaCart
-
Automatic Checking of Aggregation Abstractions Through State Enumeration
- …Automatic Checking of Aggregation Abstractions Through State Enumeration Seungjoon Park Satyaki…
- Cited by 1 (0 self) – Add To MetaCart
-
Experience with Predicate Abstraction
- …Experience with Predicate Abstraction ? Satyaki Das 1 , David L. Dill 1 , and Seungjoon Park…
- Cited by 115 (5 self) – Add To MetaCart
-
Experience with Predicate Abstraction
- …Experience with Predicate Abstraction ? Satyaki Das 1 , David L. Dill 1 , and Seungjoon Park…
- Add To MetaCart
-
Refining Approximations in Software Predicate Abstraction
- …Refining approximations in software predicate abstraction Thomas Ball † , Byron Cook † , Satyaki…
- Cited by 19 (5 self) – Add To MetaCart
-
Formal Verification of the TORCH Microprocessor RTL Design
- … 2 , Satyaki Das 1 , Jens U. Skakkebaek 1y , and David L. Dill 1 1 Computer Science Department…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 7.
