P.A. Subrahmanyam – författare

Visar alla böcker från författaren P.A. Subrahmanyam. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   Current Trends in Hardware Verification and Automated Theorem Proving

   Av P.A. Subrahmanyam, Graham Birtwistle

   E-bok, 2012

   1416 kr

   Lägg i varukorg

   This report describes the partially completed correctness proof of the Viper ''block model''. Viper [7,8,9,11,23] is a microprocessor designed by W. J. Cullyer, C. Pygott and J. Kershaw at the Royal Signals and Radar Establishment in Malvern, England, (henceforth ''RSRE'') for use in …

2. 

   Current Trends in Hardware Verification and Automated Theorem Proving

   Av Graham Birtwistle, P.A. Subrahmanyam

   Häftad, 2011

   1098 kr

   Lägg i varukorg

   This report describes the partially completed correctness proof of the Viper 'block model'. Viper [7,8,9,11,23] is a microprocessor designed by W. J. Cullyer, C. Pygott and J. Kershaw at the Royal Signals and Radar Establishment in Malvern, England, (henceforth 'RSRE') for use in safety-critical …

3. 

   VLSI Specification, Verification and Synthesis

   Av Graham Birtwistle, P.A. Subrahmanyam

   Häftad, 2013

   1098 kr

   Lägg i varukorg

   VLSI Specification, Verification and Synthesis Proceedings of a workshop held in Calgary from 12-16 January 1987. The collection of papers in this book represents some of the discussions and presentations at a workshop on hardware verification held in Calgary, January 12-16 1987. The thrust of the …

4. 

   VLSI Specification, Verification and Synthesis

   Av P.A. Subrahmanyam, Graham Birtwistle

   E-bok, 2012

   1459 kr

   Lägg i varukorg

   VLSI Specification, Verification and Synthesis Proceedings of a workshop held in Calgary from 12-16 January 1987. The collection of papers in this book represents some of the discussions and presentations at a workshop on hardware verification held in Calgary, January 12-16 1987. The thrust of the …