Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Using configurable computing to accelerate Boolean satisfiability.

P. Zhong, M. Martonosi, P. Ashar, and S. Malik. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 18 (6): 861-868 (1999)

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.

Ashar Javed

Pranav Tendulkar

Pranav Oberoi

Mohamed Ashari

Siamak Asharin-Fard

Other publications of authors with the same name

Verification of Embedded Memory Systems using Efficient Memory ModelingM. Ganai, A. Gupta, and P. Ashar. CoRR, (2007)An Edge-endpoint-based Configurable Hardware Architecture for VLSI Layout Design Rule Checking.Z. Luo, M. Martonosi, and P. Ashar. VLSI Design, 10 (3): 249-263 (2000)Efficient distributed SAT and SAT-based distributed Bounded Model Checking.M. Ganai, A. Gupta, Z. Yang, and P. Ashar. Int. J. Softw. Tools Technol. Transf., 8 (4-5): 387-396 (2006)Efficient SAT-based bounded model checking for software verification.F. Ivancic, Z. Yang, M. Ganai, A. Gupta, and P. Ashar. Theor. Comput. Sci., 404 (3): 256-274 (2008)Exploiting Retiming in a Guided Simulation Based Validation Methodology.A. Gupta, P. Ashar, and S. Malik. CHARME, volume 1703 of Lecture Notes in Computer Science, page 350-353. Springer, (1999)Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver.M. Ganai, P. Ashar, A. Gupta, L. Zhang, and S. Malik. DAC, page 747-750. ACM, (2002)Verification of Embedded Memory Systems using Efficient Memory Modeling.M. Ganai, A. Gupta, and P. Ashar. DATE, page 1096-1101. IEEE Computer Society, (2005)Property-specific witness graph generation for guided simulation.A. Casavant, A. Gupta, S. Liu, A. Mukaiyama, K. Wakabayashi, and P. Ashar. DATE, page 799. IEEE Computer Society, (2001)Panel: Assertion-Based Verification -What's the Big Deal?S. Shukla, A. Hu, J. Abrahams, P. Ashar, H. Foster, A. Landver, and C. Pixley. HLDVT, page 183. IEEE Computer Society, (2006)Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs.A. Gupta, Z. Yang, P. Ashar, L. Zhang, and S. Malik. ICCAD, page 286-292. IEEE Computer Society, (2001)

BibSonomy

Disambiguation of "Ashar, Pranav"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Using configurable computing to accelerate Boolean satisfiability.

Please choose a person to relate this publication to

Ashar Javed

Pranav Tendulkar

Pranav Oberoi

Mohamed Ashari

Siamak Asharin-Fard

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Ashar, Pranav"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Using configurable computing to accelerate Boolean satisfiability.

Please choose a person to relate this publication to

Ashar Javed

Pranav Tendulkar

Pranav Oberoi

Mohamed Ashari

Siamak Asharin-Fard

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Using configurable computing to accelerate Boolean satisfiability.