The following pages link to Jawahar Jain (Q685116):
Displayed 10 items.
- Probabilistic verification of Boolean functions (Q685120) (← links)
- Efficient combinational verification using overlapping local BDDs and a hash table (Q698440) (← links)
- (Q2848659) (← links)
- (Q4885886) (← links)
- Automated Technology for Verification and Analysis (Q5491851) (← links)
- Formal Methods in Computer-Aided Design (Q5492995) (← links)
- Correct Hardware Design and Verification Methods (Q5493243) (← links)
- Correct Hardware Design and Verification Methods (Q5493256) (← links)
- FM 2005: Formal Methods (Q5716899) (← links)
- Correct Hardware Design and Verification Methods (Q5897082) (← links)