Výsledky vyhledávání - "Pankay Chauhan"

Using Combinatorial Optimization Methods for Quantification Scheduling

Autor: Somesh Jha, Edmund M. Clarke, James H. Kukula, Dong Wang, Helmut Veith, Pankay Chauhan

Publikováno v: Lecture Notes in Computer Science ISBN: 9783540425410
CHARME

Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BDDs) have significantly increased the size of the models that can be ve

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::74107dea88bd9f7d907de959f7183f0c

Zobrazit plný text záznamu

A Theory of Consistency for Modular Synchronous Systems

Autor: Amit Goel, Pankay Chauhan, Randal E. Bryant, Edmund M. Clarke

Publikováno v: Formal Methods in Computer-Aided Design ISBN: 9783540412199
FMCAD

We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular specification where individual modules are specified as Kripke Structures

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::39ddc874bfb1fa75d4fb436653e6ee08

Zobrazit plný text záznamu

Verifying IP-Core based System-On-Chip Designs

Autor: Dong Wang, Edmund M. Clarke, Pankay Chauhan, Yuan Lu

We describe a methodology for verifying system-on-chip designs. In our methodology, the problem of verifying system-on-chip designs is decomposed into three tasks. First, we verify, once and for all, the standard bus interconnecting IP cores in the s

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c8e4355b196559ea8b061ab3d89041d7

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání