The following pages link to Sharad Malik (Q265699):
Displaying 31 items.
- On computing minimal independent support and its applications to sampling and counting (Q265701) (← links)
- Specification and encoding of transaction interaction properties (Q453491) (← links)
- Limits of using signatures for permutation independent Boolean comparison (Q698098) (← links)
- Synthesizing environment invariants for modular hardware verification (Q784131) (← links)
- (Q1606810) (redirect page) (← links)
- Application of BDDs in Boolean matching techniques for formal logic combinational verification (Q1606811) (← links)
- Fast interpolating BMC (Q1702933) (← links)
- Syntax-guided synthesis for lemma generation in hardware model checking (Q2234081) (← links)
- (Q2764081) (← links)
- IC3 - Flipping the E in ICE (Q2961586) (← links)
- Propositional SAT Solving (Q3176367) (← links)
- Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom (Q3457807) (← links)
- Analysis of cyclic combinational circuits (Q3546383) (← links)
- Establishing latch correspondence for sequential circuits using distinguishing signatures (Q4225374) (← links)
- (Q4230777) (← links)
- Permutation and phase independent Boolean comparison (Q4307635) (← links)
- Technology mapping for low power in logic synthesis (Q4332017) (← links)
- (Q4439597) (← links)
- (Q4473727) (← links)
- (Q4537144) (← links)
- Parallel Assertions for Architectures with Weak Memory Models (Q4649301) (← links)
- (Q4804883) (← links)
- (Q4809068) (← links)
- SAT Based Verification of Network Data Planes (Q5166716) (← links)
- Theory and Applications of Satisfiability Testing (Q5325868) (← links)
- Theory and Applications of Satisfiability Testing (Q5714763) (← links)
- Theory and Applications of Satisfiability Testing (Q5714769) (← links)
- Computer Aided Verification (Q5716543) (← links)
- Solving Quantified Boolean Formulas with Circuit Observability Don’t Cares (Q5756554) (← links)
- On Solving the Partial MAX-SAT Problem (Q5756559) (← links)
- Lemma Learning in SMT on Linear Constraints (Q5756582) (← links)
