Searching for authors named "Alok Jain" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
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
Showing 1 through 8.
