Malay Ganai – författare

Visar alla böcker från författaren Malay Ganai. Handla med fri frakt och snabb leverans.

3 produkter

1. 

   SAT-Based Scalable Formal Verification Solutions

   Av Malay Ganai, Aarti Gupta

   Inbunden, 2007

   1636 kr

   Lägg i varukorg

   Functional verification has become an important aspect of the chip design process. Significant resources, both in industry and academia, are devoted to the design complexity and verification endeavors.SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and …

2. 

   SAT-Based Scalable Formal Verification Solutions

   Av Aarti Gupta, Malay Ganai

   E-bok, 2007

   1622 kr

   Lägg i varukorg

   Functional verification has become an important aspect of the chip design process. Significant resources, both in industry and academia, are devoted to the design complexity and verification endeavors. SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and …

3. 

   SAT-Based Scalable Formal Verification Solutions

   Av Malay Ganai, Aarti Gupta

   Häftad, 2010

   1197 kr

   Lägg i varukorg

   Functional verification has become an important aspect of the chip design process. Significant resources, both in industry and academia, are devoted to the design complexity and verification endeavors.SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and …