Searching for authors named "Khurram Sajid" – sorted by Relevance.
-
Optimizing Designs Containing Black Boxes*t
- Optimizing Designs Containing Black Boxes*t Tai-Hung Liu Khurram Sajid Adnan Aziz Electrical
- Add To MetaCart
-
Optimizating Designs Containing Black Boxes
- We define a notion of equivalence for designs containing black boxes. Using this notion, we describe a sound and complete methodology for optimizing designs containing black boxes, i.e. components whose functionality is not known; these arise naturally in the course of hierarchical design. Keywords
- Add To MetaCart
-
Verifying Designs Containing Black Boxes
- We define a notion of equivalence for designs containing black boxes. This notion is applicable to both gate-level designs, as well as designs operating on integer variables. Using this notion, we describe a sound and complete methodology for optimizing designs containing black boxes, i.e. component
- Add To MetaCart
-
Optimizing Designs Containing Black Boxes
- Optimizing Designs Containing Black Boxes y Tai-Hung Liu Khurram Sajid Adnan Aziz Vigyan Singhal
- Cited by 4 (0 self) – Add To MetaCart
-
BDD Based Procedures for a Theory of Equality with Uninterpreted Functions
- BDD Based Procedures for a Theory of Equality with Uninterpreted Functions Anuj Goel 1 , Khurram
- Cited by 50 (4 self) – Add To MetaCart
-
Optimizing Designs Containing Black Boxes
- Optimizing Designs Containing Black Boxes y Tai-Hung Liu Khurram Sajid Adnan Aziz Vigyan Singhal
- Add To MetaCart

