Vyas Venkataraman

Learn More
Cryptographic hardware is vulnerable to power analysis attacks. To resist these attacks, special balanced dual-rail gates have been developed which have equal power consumption for all valid data values and transitions. A limitation of existing designs is that they require balanced routing of the dual-rail interconnect between gates. Natural process(More)
Existing methods of gate level power attack countermeasures depend on exact capacitance matching of the dual-rail data outputs of each gate. Process variability and a lack of design tools make this requirement very difficult to satisfy in practice. We present a novel asynchronous dual-rail gate design which is power balanced and capable of tolerating(More)
Due to the large semantic gap between transaction level models and actual implementations, hardware synthesis based on system level models has been a great challenge. Aiming to close the semantic gap, we studied an approach that uses rendezvous to model communication. By allowing both conjunctive and disjunctive composition of rendezvous, the approach(More)
Transaction-level modeling is an essential component of system-level design. This paper advocates using rendezvous, a construct common to concurrent programming languages, as a theoretical foundation for transactions. Compared to regular function calls, rendezvous are atomic and support multipartiness and parallel composition. However, scheduling multiparty(More)
As the complexity of modern systems grow, the level of abstraction of their descriptions must similarly increase, as evidenced by the growing shift towards Transaction Level Modeling (TLM). While these methodologies are useful in abstracting the complexity of the computation, their lack of a formal foundation for representing concurrency makes the modeling(More)
Since their introduction, modern computer systems have been increasing in complexity. System designers have been dealing with ever larger designs by moving to higher abstraction level system descriptions. The existing register transfer level of abstraction has become unable to handle modern designs, requiring a move to high level modeling. The most popular(More)
  • 1