Searching for authors named "Alok Jain" – sorted by Relevance.
-
Inverter minimization in multi-level logic networks
- Inverter Minimization in Multi-Level Logic Networks Alok Jain* Department of ECE Carnegie Mellon
- Cited by 2 (0 self) – Add To MetaCart
-
Formal Hardware Verification By Symbolic Trajectory Evaluation
- OF PHILOSOPHY in ELECTRICAL AND COMPUTER ENGINEERING by ALOK JAIN Pittsburgh, Pennsylvania July, iii Abstract
- Cited by 18 (1 self) – Add To MetaCart
-
Extraction of Finite State Machines from Transistor Netlists by Symbolic Simulation
- , Alok Jain, Randal E. Bryant Derek Beatty Gary York Samir Jain Carnegie Mellon University Motorola Inc
- Cited by 2 (1 self) – Add To MetaCart
-
Verifying Nondeterministic Implementations of Deterministic Systems
- Verifying Nondeterministic Implementations of Deterministic Systems 1 Alok Jain Kyle Nelson
- Cited by 8 (5 self) – Add To MetaCart
-
Formal verification of an ARM processor
- Formal Verification of an ARM processor Vishnu A. Patankar Alok Jain Randal E. Bryant Department
- Cited by 9 (0 self) – Add To MetaCart
-
Formal Verification of a Superscalar Execution Unit
- Formal Verification of a Superscalar Execution Unit 1 Kyle L. Nelson Alok Jain Randal E. Bryant
- Cited by 10 (4 self) – Add To MetaCart
-
Formal Verification of a Superscalar Execution Unit
- 1 Formal Verification of a Superscalar Execution Unit 1 Kyle L. Nelson Alok Jain Randal E
- Add To MetaCart
-
Cell-based Computer Models in Developmental Biology
- ; Ajai Kapoor for his moral support and intriguing arguments; Alok Jain, Sushant Patnaik, Kabir Dutta, H
- Cited by 3 (3 self) – Add To MetaCart

