( en | de | ru )

 

Disambiguation of "Singhal, Vigyan"

Author of the publication

copydeleteadd this publication to your clipboard
Optimizing Designs Containing Black Boxes.

, , , and . DAC, page 113-116. ACM Press, (1997)

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

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)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)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)Analysis of Locking Behavior in Three Real Database Systems., and . VLDB J., 6 (1): 40-52 (1997)Model-checking continous-time Markov chains., , , and . ACM Trans. Comput. Log., 1 (1): 162-170 (2000)Sequential optimization in the absence of global reset., , , , and . ACM Trans. Design Autom. Electr. Syst., 8 (2): 222-251 (2003)Formula-Dependent Equivalence for Compositional CTL Model Checking., , , , and . Formal Methods Syst. Des., 21 (2): 193-224 (2002)