Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications /

by Singh, Gaurav., Shukla, Sandeep Kumar.
Published 2010

Ingredients for Successful System Level Design Methodology /

by Patel, Hiren D., Shukla, Sandeep Kumar.
Published 2008

Synthesis of Embedded Software : Frameworks and Methodologies for Correctness by Construction /

Published 2010