Searching for authors named "Amit Goel" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Formal verification of an IBM CoreConnect processor local bus arbiter core
- …Formal Verification of an IBM CoreConnect ¢¡ Processor Local Bus Arbiter Core £ Amit Goel…
- Cited by 10 (0 self) – Add To MetaCart
-
Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis
- …Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis Amit Goel…
- Cited by 4 (1 self) – Add To MetaCart
-
Set Manipulation with Boolean Functional Vectors
- …Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis Amit Goel…
- Add To MetaCart
-
Revisiting Positive Equality
- …Revisiting Positive Equality ? Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, and Muralidhar…
- Cited by 6 (2 self) – Add To MetaCart
-
VizCraft: A Problem Solving Environment for Configuration Design of a High Speed Civil Transport
- …. Goel t, C.A. Baker, C.A. Shaffer t, B. Grossman, W.H. Mason, L.T. Watson t tDepartment of Computer…
- Cited by 3 (1 self) – Add To MetaCart
-
VizCraft: a problem-solving environment for aircraft configuration design
- … of the overall problem-solving task, not simply using the visualization to view the computation’s results. 2 AMIT…
- Cited by 5 (2 self) – Add To MetaCart
Showing 1 through 6.
