Hratch Mangassarian - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 15 from 15

2014

Debugging RTL Using Structural DominanceHratch Mangassarian, Bao Le, Andreas G. Veneris. tcad, 33(1):153-166, 2014. [doi]

2012

2011

Debugging with dominance: On-the-fly RTL debug solution implicationsHratch Mangassarian, Andreas G. Veneris, Duncan Exon Smith, Sean Safarpour. iccad 2011: 587-594 [doi]

2010

Leveraging dominators for preprocessing QBFHratch Mangassarian, Bao Le, Alexandra Goultiaeva, Andreas G. Veneris, Fahiem Bacchus. date 2010: 1695-1700 [doi]

Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and TestHratch Mangassarian, Andreas G. Veneris, Marco Benedetti. TC, 59(7):981-994, 2010. [doi]

2008

QBF-Based Formal Verification: Experience and PerspectivesMarco Benedetti, Hratch Mangassarian. jsat, 5(1-4):133-191, 2008. [doi]

A succinct memory model for automated design debuggingBrian Keng, Hratch Mangassarian, Andreas G. Veneris. iccad 2008: 137-142 [doi]

2007

A general framework for subjective information extraction from unstructured English textHratch Mangassarian, Hassan Artail. DKE, 62(2):352-367, 2007. [doi]

Maximum circuit activity estimation using pseudo-boolean satisfiabilityHratch Mangassarian, Andreas G. Veneris, Sean Safarpour, Farid N. Najm, Magdy S. Abadir. date 2007: 1538-1543 [doi]

A performance-driven QBF-based iterative logic array representation with applications to verification, debug and testHratch Mangassarian, Andreas G. Veneris, Sean Safarpour, Marco Benedetti, Duncan Smith. iccad 2007: 240-245 [doi]

Trace Compaction using SAT-based Reachability AnalysisSean Safarpour, Andreas G. Veneris, Hratch Mangassarian. aspdac 2007: 932-937 [doi]

Improved Design Debugging Using Maximum SatisfiabilitySean Safarpour, Hratch Mangassarian, Andreas G. Veneris, Mark H. Liffiton, Karem A. Sakallah. FMCAD 2007: 13-19 [doi]

2005

On Statistical Timing Analysis with Inter- and Intra-Die VariationsHratch Mangassarian, Mohab Anis. date 2005: 132-137 [doi]

Sign in or sign up to see more results.

runs on WebDSL