MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Khurram Sajid" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 6 documents found, showing 1 through 6.
ATOM RSS
  • Optimizating Designs Containing Black Boxes  
  • by Tai-Hung Liu, Khurram Sajid, Adnan Aziz, Vigyan Singhal. — 1997
  • …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  
  • by Tai-Hung Liu, Khurram Sajid, Adnan Aziz, Vigyan Singhal — 1997
  • …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  
  • by Tai-Hung Liu Khurram, Tai-hung Liu, Khurram Sajid, Adnan Aziz, Vigyan Singhal — 1997 — 34th Design Automation Conference
  • …Optimizing Designs Containing Black Boxes y Tai-Hung Liu Khurram Sajid Adnan Aziz Vigyan Singhal…
  • Add To MetaCart
Help! Showing 1 through 6.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB