( en | de | ru )

 

Disambiguation of "Singhal, Vigyan"

Author of the publication

copydeleteadd this publication to your clipboard
An Abstraction Algorithm for the Verification of Generalized C-Slow Designs.

, , , , and . CAV, volume 1855 of Lecture Notes in Computer Science, page 5-19. Springer, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Anil Singhal

Nishant Singhal

Rohit Singhal

Ashok Kumar Singhal

 

Other publications of authors with the same name

Optimizing designs containing black boxes., , and . ACM Trans. Design Autom. Electr. Syst., 6 (4): 591-601 (2001)Equivalences for Fair Kripke Structures., , , , and . ICALP, volume 820 of Lecture Notes in Computer Science, page 364-375. Springer, (1994)Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists., , , and . CAV, volume 1633 of Lecture Notes in Computer Science, page 72-83. Springer, (1999)The Verifiacation Problem for Safe Replaceability., and . CAV, volume 818 of Lecture Notes in Computer Science, page 311-323. Springer, (1994)Compositional Reasoning Gotchas in Practice., , , , and . FMCAD, page 17-24. IEEE, (2015)BDD Decomposition for Efficient Logic Synthesis., , and . ICCD, page 626-. IEEE Computer Society, (1999)Formula-Dependent Equivalence for Compositional CTL Model Checking., , , , and . Formal Methods Syst. Des., 21 (2): 193-224 (2002)It Usually Works: The Temporal Logic of Stochastic Systems., , and . CAV, volume 939 of Lecture Notes in Computer Science, page 155-165. Springer, (1995)On the optimization power of retiming and resynthesis transformations., , , and . ICCAD, page 402-407. ACM / IEEE Computer Society, (1998)Latch Redundancy Removal Without Global Reset., , and . ICCD, page 432-439. IEEE Computer Society, (1996)